| 1993 | The Regular Problem and Green Equivalences for Special Monoids. | Jinzhao Wu, Lian Li |
| 1993 | On the Assignment Complexity of Uniform Trees. | Hongzhong Wu |
| 1993 | Differential Term-Orders. | Volker Weispfenning |
| 1993 | Noether's | Emil J. Volcheck |
| 1993 | Computation of the Smith Normal Form of Polynomial Matrices. | Gilles Villard |
| 1993 | An Algorithm for the Computation of Normal Forms and Invariant Manifolds. | L. Vallier |
| 1993 | Geometry Theorem Proving in Vector Spaces by Means of Grbner Bases. | Sabine Stifter |
| 1993 | Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra. | Ivan I. Shevchenko, Andrej G. Sokolsky |
| 1993 | Nested Expansions and Hardy Fields. | John Shackell |
| 1993 | Efficient Algorithms for Hankel Matrices over Z[x | J. Rafael Sendra, Juan Llovet |
| 1993 | A Type System for Computer Algebra (abstract). | Philip S. Santas |
| 1993 | Aspect Graphs of Algebraic Surfaces. | Marie-Franoise Roy |
| 1993 | A Zero Structure Theorem for Exponential Polynomials. | Daniel Richardson |
| 1993 | A Rationality Result for Kovacic's Algorithm. | Marius van der Put, Peter A. Hendriks |
| 1993 | Finding all Hypergeometric Solutions of Linear Differential Equations. | Marko Petkovsek, Bruno Salvy |
| 1993 | The 40 "generic" Positions of a Parallel Robot. | Bernard Mourrain |
| 1993 | GRADIENT: Algorithmic Differentiation in Maple. | Michael B. Monagan, Walter M. Neuenschwander |
| 1993 | Computing Grbner Bases in Monoid and Group Rings. | Klaus Madlener, Birgit Reinert |
| 1993 | Some Results on Theorem Proving in Geometry over Finite Fields. | Dongdai Lin, Zhuojun Liu |
| 1993 | Symbolic Evaluation in the Nonlinear Mechanical Systems. | D. M. Klimov, V. M. Rudenko, V. V. Leonov |
| 1993 | An Application of IRENA to Systems of Nonlinear Equations Arising in Equilibrium Flows in Networks.. | G. Keady, M. G. Richardson |
| 1993 | An Upper Bound on the Number of Monomials in the Sylvester Resultant. | Michael Kalkbrener |
| 1993 | Integration to Obtain Expressions Valid on Domains of Maximum Extent. | David J. Jeffrey |
| 1993 | A Generalization of the Binary GCD Algorithm. | Tudor Jebelean |
| 1993 | Quantifier Elimination for Formulas Constrained by Quadratic Equations. | Hoon Hong |