| 1993 | A Dynamic Algorithm for Gröbner Basis Computation. Massimo Caboara |
| 1993 | A Generalization of the Binary GCD Algorithm. Tudor Jebelean |
| 1993 | A Hybrid Method for High Precision Calculation of Polynomial Real Roots. George E. Collins, Werner Krandick |
| 1993 | A New Algorithm for Computing Asymptotic Series. Dominik Gruntz |
| 1993 | A Practical Method for the Sparse Resultant. Ioannis Z. Emiris, John F. Canny |
| 1993 | A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs. Victor G. Ganzha, Evgenii V. Vorozhtsov |
| 1993 | A Rationality Result for Kovacic's Algorithm. Marius van der Put, Peter A. Hendriks |
| 1993 | A Type System for Computer Algebra (abstract). Philip S. Santas |
| 1993 | A Zero Structure Theorem for Exponential Polynomials. Daniel Richardson |
| 1993 | An Algorithm for the Computation of Normal Forms and Invariant Manifolds. L. Vallier |
| 1993 | An Application of IRENA to Systems of Nonlinear Equations Arising in Equilibrium Flows in Networks.. G. Keady, M. G. Richardson |
| 1993 | An Elementary Algorithm for Computing the Composition Factors of a Permutation Group. Robert Beals |
| 1993 | An Upper Bound on the Number of Monomials in the Sylvester Resultant. Michael Kalkbrener |
| 1993 | Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite. Sergey A. Gutnik |
| 1993 | Aspect Graphs of Algebraic Surfaces. Marie-Françoise Roy |
| 1993 | Automated Geometry Theorem Proving by Vector Calculation. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | Computation of the Smith Normal Form of Polynomial Matrices. Gilles Villard |
| 1993 | Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE. Victor F. Edneral |
| 1993 | Computing Gröbner Bases in Monoid and Group Rings. Klaus Madlener, Birgit Reinert |
| 1993 | Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time. László Babai, Robert Beals, Daniel N. Rockmore |
| 1993 | Decision Procedures for Stratified Set-Theoretic Syllogistics. Domenico Cantone, Vincenzo Cutello |
| 1993 | Decomposition of *-closed Algebras in Polynomial Time. László Babai, Katalin Friedl, Markus Stricker |
| 1993 | Differential Term-Orders. Volker Weispfenning |
| 1993 | Efficient Algorithms for Hankel Matrices over Z[x J. Rafael Sendra, Juan Llovet |
| 1993 | Finding all Hypergeometric Solutions of Linear Differential Equations. Marko Petkovsek, Bruno Salvy |
| 1993 | Full Partial Fraction Decomposition of Rational Functions. Manuel Bronstein, Bruno Salvy |
| 1993 | GRADIENT: Algorithmic Differentiation in Maple. Michael B. Monagan, Walter M. Neuenschwander |
| 1993 | Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases. Sabine Stifter |
| 1993 | Integration to Obtain Expressions Valid on Domains of Maximum Extent. David J. Jeffrey |
| 1993 | Nested Expansions and Hardy Fields. John Shackell |
| 1993 | Noether's Emil J. Volcheck |
| 1993 | Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique. Eugene V. Zima |
| 1993 | On Algebraic Solutions of First Order Riccatti Equation. Alexey Zharkov |
| 1993 | On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries. Kazuhiro Yokoyama, Taku Takeshima |
| 1993 | On d'Alembert Substitution. Sergei A. Abramov |
| 1993 | On the Assignment Complexity of Uniform Trees. Hongzhong Wu |
| 1993 | On the Greatest Common Divisor of Polynomials which Depend on a Parameter. Sergei A. Abramov, K. Yu. Kvashenko |
| 1993 | Parallel Computations with Toeplitz-like and Hankel-like Matrices. Dario Bini, Victor Y. Pan |
| 1993 | Parallelizing Programs with APs. Alexander B. Godlevsky, Anatoly E. Doroshenko |
| 1993 | Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993 Manuel Bronstein |
| 1993 | Quantifier Elimination for Formulas Constrained by Quadratic Equations. Hoon Hong |
| 1993 | Some Results on Theorem Proving in Geometry over Finite Fields. Dongdai Lin, Zhuojun Liu |
| 1993 | Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra. Ivan I. Shevchenko, Andrej G. Sokolsky |
| 1993 | Symbolic Evaluation in the Nonlinear Mechanical Systems. D. M. Klimov, V. M. Rudenko, V. V. Leonov |
| 1993 | The 40 "generic" Positions of a Parallel Robot. Bernard Mourrain |
| 1993 | The Regular Problem and Green Equivalences for Special Monoids. Jinzhao Wu, Lian Li |