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[x1, ..., xr].
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
Copyright © Sat May 16 23:26:20 2009
by Michael Ley (ley@uni-trier.de)
