| 1992 | Solving Parametric Algebraic Systems. | Xiao-Shan Gao, Shang-Ching Chou |
| 1992 | A New Symbolic-Numeric Approach to Stability Analysis of Difference Schemes. | Victor G. Ganzha, Evgenii V. Vorozhtsov, J. A. van Hulzen |
| 1992 | Honest Plotting, Global Extrema, and Interval Arithmetic. | Richard J. Fateman |
| 1992 | Using Computer Algebra to Select Numerical Algorithms. | Michael C. Dewar |
| 1992 | Primality Testing Revisited. | James H. Davenport |
| 1992 | A Polymorphic Functional Language Applied to Symbolic Computation. | Stphane Dalmas |
| 1992 | The Explicit Computation of Integration Algorithms and First Integrals for Ordinary Differential Equations with Polynomial Coefficients Using Trees. | Peter E. Crouch, Robert L. Grossman |
| 1992 | A Fast Cyclic Base Change for Permutation Groups. | Gene Cooperman, Larry Finkelstein |
| 1992 | Code Generation in ALPAL Using Symbolic Techniques. | Grant O. Cook Jr. |
| 1992 | An Efficient Algorithm for Infallible Polynomial Complex Root Isolation. | George E. Collins, Werner Krandick |
| 1992 | NODES: Non Linear Ordinary Differential Equations Solver. | M. Codutti |
| 1992 | On Stability Analysis of Linear Stochastic and Time-Varying Deterministic Systems. | Cetin Cetinkaya |
| 1992 | Experimental Comparison of Algorithms for Sylow Subgroups. | Gregory Butler |
| 1992 | The Computation of 1-Loop Contributions in Y.M. Theories with Class III Nonrelativistic Gauges and REDUCE. | A. Burnel, Hubert Caprasse |
| 1992 | Linear Ordinary Differential Equations: Breaking Through the Order 2 Barrier. | Manuel Bronstein |
| 1992 | ADIFOR: Automatic Differentiation in a Source Translator Environment. | Christian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank |
| 1991 | A Package for Computations in Simple Lie Algebra Representations. | Andrej A. Zolotykh |
| 1991 | Rational Function Decomposition. | Richard Zippel |
| 1991 | The Evaluation of Integrals and Series with Respect to Indices (Parameters) of Hypergeometric Functions. | Semyon B. Yakubovich, Yu. F. Luchko |
| 1991 | An Algebra of Properties. | Trudy Weibel, Gaston H. Gonnet |
| 1991 | A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. | Dongming Wang |
| 1991 | Features of Symbolic Computation Exploited in the Calculation of Lower Energy Bounds of Cyclic Polyene Models. | F. Vinette |
| 1991 | Practical Factorization of Univariate Polynomials over Finite Fields. | Vilmar Trevisan, Paul S. Wang |
| 1991 | An Application of the REDUCE System for Solving a Mathematical Geodesy Problem. | I. Trenkov, Margarita Spiridonova, M. Daskalova |
| 1991 | Algebraic Perturbative Calculations in High Energy Physics: Methods, Algorithms, Computer Programs and Physical Applications. | Levan R. Surguladze, Mark A. Samuel |