| 1993 | Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite. | Sergey A. Gutnik |
| 1993 | A New Algorithm for Computing Asymptotic Series. | Dominik Gruntz |
| 1993 | Parallelizing Programs with APs. | Alexander B. Godlevsky, Anatoly E. Doroshenko |
| 1993 | A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs. | Victor G. Ganzha, Evgenii V. Vorozhtsov |
| 1993 | A Practical Method for the Sparse Resultant. | Ioannis Z. Emiris, John F. Canny |
| 1993 | Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE. | Victor F. Edneral |
| 1993 | A Hybrid Method for High Precision Calculation of Polynomial Real Roots. | George E. Collins, Werner Krandick |
| 1993 | Automated Geometry Theorem Proving by Vector Calculation. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | Decision Procedures for Stratified Set-Theoretic Syllogistics. | Domenico Cantone, Vincenzo Cutello |
| 1993 | A Dynamic Algorithm for Grbner Basis Computation. | Massimo Caboara |
| 1993 | Full Partial Fraction Decomposition of Rational Functions. | Manuel Bronstein, Bruno Salvy |
| 1993 | Parallel Computations with Toeplitz-like and Hankel-like Matrices. | Dario Bini, Victor Y. Pan |
| 1993 | An Elementary Algorithm for Computing the Composition Factors of a Permutation Group. | Robert Beals |
| 1993 | Decomposition of *-closed Algebras in Polynomial Time. | Lszl Babai, Katalin Friedl, Markus Stricker |
| 1993 | Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time. | Lszl Babai, Robert Beals, Daniel N. Rockmore |
| 1993 | On the Greatest Common Divisor of Polynomials which Depend on a Parameter. | Sergei A. Abramov, K. Yu. Kvashenko |
| 1993 | On d'Alembert Substitution. | Sergei A. Abramov |
| 1992 | Solving Linear Integral Equations in Maple. | Honglin Ye, Robert M. Corless |
| 1992 | Homogeneous Decomposition of Polynomials. | Jrgen Weiss |
| 1992 | Finite Grbner Bases in Non-Noetherian Skew Polynomial Rings. | Volker Weispfenning |
| 1992 | Parallel Univariate | Paul S. Wang |
| 1992 | Parallel Lattice Basis Reduction. | Gilles Villard |
| 1992 | An Object-Oriented Language for Symbolic Computation - Applied to Machine Element Analysis. | Lars Viklund, Peter Fritzson |
| 1992 | Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions. | Michael F. Singer, Felix Ulmer |
| 1992 | Reduction and Completion Algorithms for Partial Differential Equations. | Fritz Schwarz |