ISSAC 1993: Kiev, Ukraine

Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993. ACM, 1993

Alexey Zharkov:
On Algebraic Solutions of First Order Riccatti Equation. 1-3
Electronic Edition (ACM DL) BibTeX
Marius van der Put, Peter A. Hendriks:
A Rationality Result for Kovacic's Algorithm. 4-8
Electronic Edition (ACM DL) BibTeX
Victor G. Ganzha, Evgenii V. Vorozhtsov:
A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs. 9-13
Electronic Edition (ACM DL) BibTeX
Victor F. Edneral:
Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE. 14-19
Electronic Edition (ACM DL) BibTeX
Sergei A. Abramov:
On d'Alembert Substitution. 20-26
Electronic Edition (ACM DL) BibTeX
Marko Petkovsek, Bruno Salvy:
Finding all Hypergeometric Solutions of Linear Differential Equations. 27-33
Electronic Edition (ACM DL) BibTeX
David J. Jeffrey:
Integration to Obtain Expressions Valid on Domains of Maximum Extent. 34-41
Electronic Edition (ACM DL) BibTeX
Eugene V. Zima:
Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique. 42-46
Electronic Edition (ACM DL) BibTeX
George E. Collins, Werner Krandick:
A Hybrid Method for High Precision Calculation of Polynomial Real Roots. 47-52
Electronic Edition (ACM DL) BibTeX
D. M. Klimov, V. M. Rudenko, V. V. Leonov:
Symbolic Evaluation in the Nonlinear Mechanical Systems. 53-54
Electronic Edition (ACM DL) BibTeX
Alexander B. Godlevsky, Anatoly E. Doroshenko:
Parallelizing Programs with APs. 55-62
Electronic Edition (ACM DL) BibTeX
S. A. Gutnik:
Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite. 63-64
Electronic Edition (ACM DL) BibTeX
Ivan I. Shevchenko, Andrej G. Sokolsky:
Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra. 65-67
Electronic Edition (ACM DL) BibTeX
Michael B. Monagan, Walter M. Neuenschwander:
GRADIENT: Algorithmic Differentiation in Maple. 68-76
Electronic Edition (ACM DL) BibTeX
Philip S. Santas:
A Type System for Computer Algebra (abstract). 77
Electronic Edition (ACM DL) BibTeX
Jinzhao Wu, Lian Li:
The Regular Problem and Green Equivalences for Special Monoids. 78-85
Electronic Edition (ACM DL) BibTeX
László Babai, Katalin Friedl, Markus Stricker:
Decomposition of *-closed Algebras in Polynomial Time. 86-94
Electronic Edition (ACM DL) BibTeX
Hongzhong Wu:
On the Assignment Complexity of Uniform Trees. 95-104
Electronic Edition (ACM DL) BibTeX
Domenico Cantone, Vincenzo Cutello:
Decision Procedures for Stratified Set-Theoretic Syllogistics. 105-110
Electronic Edition (ACM DL) BibTeX
Tudor Jebelean:
A Generalization of the Binary GCD Algorithm. 111-116
Electronic Edition (ACM DL) BibTeX
László Babai, Robert Beals, Daniel N. Rockmore:
Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time. 117-126
Electronic Edition (ACM DL) BibTeX
Robert Beals:
An Elementary Algorithm for Computing the Composition Factors of a Permutation Group. 127-134
Electronic Edition (ACM DL) BibTeX
Marie-Françoise Roy:
Aspect Graphs of Algebraic Surfaces. 135-143
Electronic Edition (ACM DL) BibTeX
Daniel Richardson:
A Zero Structure Theorem for Exponential Polynomials. 144-151
Electronic Edition (ACM DL) BibTeX
Sergei A. Abramov, K. Yu. Kvashenko:
On the Greatest Common Divisor of Polynomials which Depend on a Parameter. 152-156
Electronic Edition (ACM DL) BibTeX
Manuel Bronstein, Bruno Salvy:
Full Partial Fraction Decomposition of Rational Functions. 157-160
Electronic Edition (ACM DL) BibTeX
Michael Kalkbrener:
An Upper Bound on the Number of Monomials in the Sylvester Resultant. 161-163
Electronic Edition (ACM DL) BibTeX
Emil Volcheck:
Noether's S-Transformation Simplifies Curve Singularities Rationally: A Local Analysis. 164-172
Electronic Edition (ACM DL) BibTeX
Bernard Mourrain:
The 40 ``generic'' Positions of a Parallel Robot. 173-182
Electronic Edition (ACM DL) BibTeX
Ioannis Z. Emiris, John F. Canny:
A Practical Method for the Sparse Resultant. 183-192
Electronic Edition (ACM DL) BibTeX
Dario Bini, Victor Y. Pan:
Parallel Computations with Toeplitz-like and Hankel-like Matrices. 193-200
Electronic Edition (ACM DL) BibTeX
J. Rafael Sendra, Juan Llovet:
Efficient Algorithms for Hankel Matrices over Z[x₁, ..., x_r]. 201-208
Electronic Edition (ACM DL) BibTeX
Gilles Villard:
Computation of the Smith Normal Form of Polynomial Matrices. 209-217
Electronic Edition (ACM DL) BibTeX
Kazuhiro Yokoyama, Taku Takeshima:
On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries. 218-224
Electronic Edition (ACM DL) BibTeX
L. Vallier:
An Algorithm for the Computation of Normal Forms and Invariant Manifolds. 225-233
Electronic Edition (ACM DL) BibTeX
John Shackell:
Nested Expansions and Hardy Fields. 234-238
Electronic Edition (ACM DL) BibTeX
Dominik Gruntz:
A New Algorithm for Computing Asymptotic Series. 239-244
Electronic Edition (ACM DL) BibTeX
Volker Weispfenning:
Differential Term-Orders. 245-253
Electronic Edition (ACM DL) BibTeX
Klaus Madlener, Birgit Reinert:
Computing Gröbner Bases in Monoid and Group Rings. 254-263
Electronic Edition (ACM DL) BibTeX
Hoon Hong:
Quantifier Elimination for Formulas Constrained by Quadratic Equations. 264-274
Electronic Edition (ACM DL) BibTeX
Massimo Caboara:
A Dynamic Algorithm for Gröbner Basis Computation. 275-283
Electronic Edition (ACM DL) BibTeX
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Geometry Theorem Proving by Vector Calculation. 284-291
Electronic Edition (ACM DL) BibTeX
Dongdai Lin, Zhuojun Liu:
Some Results on Theorem Proving in Geometry over Finite Fields. 292-300
Electronic Edition (ACM DL) BibTeX
Sabine Stifter:
Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases. 301-310
Electronic Edition (ACM DL) BibTeX
G. Keady, M. G. Richardson:
An Application of IRENA to Systems of Nonlinear Equations Arising in Equilibrium Flows in Networks.. 311-320
Electronic Edition (ACM DL) BibTeX