| 1992 | A Combined Symbolic/Numeric Approach for the Integration of Stiff Nonlinear Systems of ODE's. Mark F. Russo |
| 1992 | A Fast Cyclic Base Change for Permutation Groups. Gene Cooperman, Larry Finkelstein |
| 1992 | A New Symbolic-Numeric Approach to Stability Analysis of Difference Schemes. Victor G. Ganzha, Evgenii V. Vorozhtsov, J. A. van Hulzen |
| 1992 | A Polymorphic Functional Language Applied to Symbolic Computation. Stéphane Dalmas |
| 1992 | A Practical Implementation of Two Rational Function Decomposition Algorithms. Jaime Gutierrez, Tomás Recio |
| 1992 | ADIFOR: Automatic Differentiation in a Source Translator Environment. Christian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank |
| 1992 | Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs. Gregory J. Reid, Ian G. Lisle, A. Boulton, Allan D. Wittkopf |
| 1992 | An Approach for Floating-Point Error Analysis Using Computer Algebra. Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char |
| 1992 | An Efficient Algorithm for Infallible Polynomial Complex Root Isolation. George E. Collins, Werner Krandick |
| 1992 | An Object-Oriented Language for Symbolic Computation - Applied to Machine Element Analysis. Lars Viklund, Peter Fritzson |
| 1992 | Asymptotic Expansions of Functional Inverses. Bruno Salvy, John Shackell |
| 1992 | CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems. Norbert Kajler |
| 1992 | Code Generation in ALPAL Using Symbolic Techniques. Grant O. Cook Jr. |
| 1992 | Computation of the Jordan Canonical Form of a Square Matrix (using the Axiom programming language). Isabelle Gil |
| 1992 | Computing Presentations for Subgroups of Context-Free Groups. Norbert Kuhn, Klaus Madlener, Friedrich Otto |
| 1992 | Easy Numbers for the Elliptic Curve Primality Proving Algorithm. François Morain |
| 1992 | Existence of Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis. Dima Grigoriev, Marek Karpinski, Andrew M. Odlyzko |
| 1992 | Experimental Comparison of Algorithms for Sylow Subgroups. Gregory Butler |
| 1992 | Fast Computation of Numerical Partial Fraction Decompositions and Contour Integrals of Rational Functions. Peter Kirrinnis |
| 1992 | Finite Gröbner Bases in Non-Noetherian Skew Polynomial Rings. Volker Weispfenning |
| 1992 | Gröbner Bases Computation Using Syzygies. H. Michael Möller, Teo Mora, Carlo Traverso |
| 1992 | Homogeneous Decomposition of Polynomials. Jürgen Weiss |
| 1992 | Honest Plotting, Global Extrema, and Interval Arithmetic. Richard J. Fateman |
| 1992 | Hybrid Symbolic-Numeric Integration in MAPLE. Keith O. Geddes, Gregory J. Fee |
| 1992 | LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. Francesco Marinuzzi, Stefano Soliani |
| 1992 | Linear Ordinary Differential Equations: Breaking Through the Order 2 Barrier. Manuel Bronstein |
| 1992 | Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions. Michael F. Singer, Felix Ulmer |
| 1992 | Multipolynomial Resultants and Linear Algebra. Dinesh Manocha, John F. Canny |
| 1992 | NODES: Non Linear Ordinary Differential Equations Solver. M. Codutti |
| 1992 | On Computing Determinants of Matrices without Divisions. Erich L. Kaltofen |
| 1992 | On Stability Analysis of Linear Stochastic and Time-Varying Deterministic Systems. Cetin Cetinkaya |
| 1992 | Parallel Lattice Basis Reduction. Gilles Villard |
| 1992 | Parallel Univariate Paul S. Wang |
| 1992 | Primality Testing Revisited. James H. Davenport |
| 1992 | Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992 Paul S. Wang |
| 1992 | Real Algebraic Closure of an Ordered Field: Implementation in Renaud Rioboo |
| 1992 | Real Algebraic Number Computation Using Interval Arithmetic. Jeremy R. Johnson |
| 1992 | Reduction and Completion Algorithms for Partial Differential Equations. Fritz Schwarz |
| 1992 | Risa/Asir - a Computer Algebra System. Masayuki Noro, Taku Takeshima |
| 1992 | Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. Hoon Hong |
| 1992 | Solving Linear Integral Equations in Maple. Honglin Ye, Robert M. Corless |
| 1992 | Solving Parametric Algebraic Systems. Xiao-Shan Gao, Shang-Ching Chou |
| 1992 | Solving the Constant Quantum Yang-Baxter Equation in 2 Dimensions with Massive Use of Factorizing Gröbner Basis Computations. Jarmo Hietarinta |
| 1992 | The Computation of 1-Loop Contributions in Y.M. Theories with Class III Nonrelativistic Gauges and REDUCE. A. Burnel, Hubert Caprasse |
| 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 | The Elementary Constant Problem. Daniel Richardson |
| 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 | The Matrix Editor for Symbolic Jacobians in ALPAL. Jeffrey F. Painter |
| 1992 | The Structure of the PIMs of SL(3, 4) in Characteristic 2. Wolfgang Lempken, Reiner Staszewski |
| 1992 | Using Computer Algebra to Select Numerical Algorithms. Michael C. Dewar |