| 1992 | Asymptotic Expansions of Functional Inverses. | Bruno Salvy, John Shackell |
| 1992 | A Combined Symbolic/Numeric Approach for the Integration of Stiff Nonlinear Systems of ODE's. | Mark F. Russo |
| 1992 | Real Algebraic Closure of an Ordered Field: Implementation in | Renaud Rioboo |
| 1992 | The Elementary Constant Problem. | Daniel Richardson |
| 1992 | Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs. | Gregory J. Reid, Ian G. Lisle, A. Boulton, Allan D. Wittkopf |
| 1992 | The Matrix Editor for Symbolic Jacobians in ALPAL. | Jeffrey F. Painter |
| 1992 | Risa/Asir - a Computer Algebra System. | Masayuki Noro, Taku Takeshima |
| 1992 | An Approach for Floating-Point Error Analysis Using Computer Algebra. | Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char |
| 1992 | Easy Numbers for the Elliptic Curve Primality Proving Algorithm. | Franois Morain |
| 1992 | Grbner Bases Computation Using Syzygies. | H. Michael Mller, Teo Mora, Carlo Traverso |
| 1992 | LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. | Francesco Marinuzzi, Stefano Soliani |
| 1992 | Multipolynomial Resultants and Linear Algebra. | Dinesh Manocha, John F. Canny |
| 1992 | The Structure of the PIMs of SL(3, 4) in Characteristic 2. | Wolfgang Lempken, Reiner Staszewski |
| 1992 | The Design of a User Interface to a Computer Algebra System for Introductory Calculus. | Edmund A. Lamagna, Michael B. Hayden, Catherine W. Johnson |
| 1992 | Computing Presentations for Subgroups of Context-Free Groups. | Norbert Kuhn, Klaus Madlener, Friedrich Otto |
| 1992 | Fast Computation of Numerical Partial Fraction Decompositions and Contour Integrals of Rational Functions. | Peter Kirrinnis |
| 1992 | On Computing Determinants of Matrices without Divisions. | Erich L. Kaltofen |
| 1992 | CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems. | Norbert Kajler |
| 1992 | Real Algebraic Number Computation Using Interval Arithmetic. | Jeremy R. Johnson |
| 1992 | Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. | Hoon Hong |
| 1992 | Solving the Constant Quantum Yang-Baxter Equation in 2 Dimensions with Massive Use of Factorizing Grbner Basis Computations. | Jarmo Hietarinta |
| 1992 | A Practical Implementation of Two Rational Function Decomposition Algorithms. | Jaime Gutierrez, Toms Recio |
| 1992 | Existence of Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis. | Dima Grigoriev, Marek Karpinski, Andrew M. Odlyzko |
| 1992 | Computation of the Jordan Canonical Form of a Square Matrix (using the Axiom programming language). | Isabelle Gil |
| 1992 | Hybrid Symbolic-Numeric Integration in MAPLE. | Keith O. Geddes, Gregory J. Fee |