default search action
ISSAC 1993: Kiev, Ukraine
- Manuel Bronstein:
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993. ACM 1993, ISBN 0-89791-604-2 - Alexey Zharkov:
On Algebraic Solutions of First Order Riccatti Equation. 1-3 - Marius van der Put, Peter A. Hendriks:
A Rationality Result for Kovacic's Algorithm. 4-8 - Victor G. Ganzha, Evgenii V. Vorozhtsov:
A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs. 9-13 - Victor F. Edneral:
Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE. 14-19 - Sergei A. Abramov
:
On d'Alembert Substitution. 20-26 - Marko Petkovsek, Bruno Salvy
Finding all Hypergeometric Solutions of Linear Differential Equations. 27-33 - David J. Jeffrey:
Integration to Obtain Expressions Valid on Domains of Maximum Extent. 34-41 - Eugene V. Zima:
Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique. 42-46 - George E. Collins, Werner Krandick:
A Hybrid Method for High Precision Calculation of Polynomial Real Roots. 47-52 - D. M. Klimov, V. M. Rudenko, V. V. Leonov:
Symbolic Evaluation in the Nonlinear Mechanical Systems. 53-54 - Alexander B. Godlevsky, Anatoly E. Doroshenko
Parallelizing Programs with APs. 55-62 - Sergey A. Gutnik:
Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite. 63-64 - Ivan I. Shevchenko, Andrej G. Sokolsky:
Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra. 65-67 - Michael B. Monagan, Walter M. Neuenschwander:
GRADIENT: Algorithmic Differentiation in Maple. 68-76 - Philip S. Santas:
A Type System for Computer Algebra (abstract). 77 - Jinzhao Wu, Lian Li:
The Regular Problem and Green Equivalences for Special Monoids. 78-85 - László Babai
Decomposition of *-closed Algebras in Polynomial Time. 86-94 - Hongzhong Wu:
On the Assignment Complexity of Uniform Trees. 95-104 - Domenico Cantone, Vincenzo Cutello
Decision Procedures for Stratified Set-Theoretic Syllogistics. 105-110 - Tudor Jebelean:
A Generalization of the Binary GCD Algorithm. 111-116 - László Babai
Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time. 117-126 - Robert Beals:
An Elementary Algorithm for Computing the Composition Factors of a Permutation Group. 127-134 - Marie-Françoise Roy:
Aspect Graphs of Algebraic Surfaces. 135-143 - Daniel Richardson:
A Zero Structure Theorem for Exponential Polynomials. 144-151 - Sergei A. Abramov
On the Greatest Common Divisor of Polynomials which Depend on a Parameter. 152-156 - Manuel Bronstein, Bruno Salvy
Full Partial Fraction Decomposition of Rational Functions. 157-160 - Michael Kalkbrener:
An Upper Bound on the Number of Monomials in the Sylvester Resultant. 161-163 - Emil J. Volcheck:
Noether's S-Transformation Simplifies Curve Singularities Rationally: A Local Analysis. 164-172 - Bernard Mourrain:
The 40 "generic" Positions of a Parallel Robot. 173-182 - Ioannis Z. Emiris
A Practical Method for the Sparse Resultant. 183-192 - Dario Bini, Victor Y. Pan:
Parallel Computations with Toeplitz-like and Hankel-like Matrices. 193-200 - J. Rafael Sendra
Efficient Algorithms for Hankel Matrices over Z[x1, ..., xr]. 201-208 - Gilles Villard:
Computation of the Smith Normal Form of Polynomial Matrices. 209-217 - Kazuhiro Yokoyama, Taku Takeshima:
On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries. 218-224 - L. Vallier:
An Algorithm for the Computation of Normal Forms and Invariant Manifolds. 225-233 - John Shackell:
Nested Expansions and Hardy Fields. 234-238 - Dominik Gruntz:
A New Algorithm for Computing Asymptotic Series. 239-244 - Volker Weispfenning:
Differential Term-Orders. 245-253 - Klaus Madlener, Birgit Reinert:
Computing Gröbner Bases in Monoid and Group Rings. 254-263 - Hoon Hong:
Quantifier Elimination for Formulas Constrained by Quadratic Equations. 264-274 - Massimo Caboara:
A Dynamic Algorithm for Gröbner Basis Computation. 275-283 - Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Geometry Theorem Proving by Vector Calculation. 284-291 - Dongdai Lin, Zhuojun Liu:
Some Results on Theorem Proving in Geometry over Finite Fields. 292-300 - Sabine Stifter:
Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases. 301-310 - G. Keady, M. G. Richardson:
An Application of IRENA to Systems of Nonlinear Equations Arising in Equilibrium Flows in Networks.. 311-320
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: