| 1989 | A Program Generator for Efficient Evaluation of Fourier Series. | B. R. Miller |
| 1989 | Careful Algebraic Translations of Geometry Theorems. | B. Kutzler |
| 1989 | A Method for Enumerating Cosets of a Group Presented by a Canonical System. | Norbert Kuhn, Klaus Madlener |
| 1989 | Constrained Equational Reasoning. | Claude Kirchner, Hlne Kirchner |
| 1989 | An Improved Las Vegas Primality Test. | Erich L. Kaltofen, Thomas Valente, Norika Yui |
| 1989 | A Code Optimization Package for REDUCE. | J. A. van Hulzen, Ben J. A. Hulshof, Barbara L. Gates, M. C. van Heerwaarden |
| 1989 | Labeled Trees and the Efficient Computation of Derivations. | Robert L. Grossman, Richard G. Larson |
| 1989 | Sturm-Habicht Sequence. | Laureano Gonzlez, Henri Lombardi, Toms Recio, Marie-Franoise Roy |
| 1989 | On the Castelnuovo Regularity for Curves. | Marc Giusti |
| 1989 | On the Risch-Norman Integration Method and Its Implementation in MAPLE. | Keith O. Geddes, L. Yohanes Stefanus |
| 1989 | Can REDUCE be Run in Parallel? | John P. Fitch |
| 1989 | Lookup Tables, Recurrences and Complexity. | Richard J. Fateman |
| 1989 | Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. | Richard J. Fateman |
| 1989 | A MACSYMA Package for the Generation and Manipulation of Chebyshev Series. | T. H. Einwohner, Richard J. Fateman |
| 1989 | Massively Parallel Symbolic Computation. | Andr Deprit, Etienne Deprit |
| 1989 | Reduction of Group Constructions to Point Stabilizers. | Gene Cooperman, Larry Finkelstein, Eugene M. Luks |
| 1989 | Quantifier Elimination and the Sign Variation Method for Real Root Isolation. | George E. Collins, Jeremy R. Johnson |
| 1989 | Computing the Normal Forms of Matrices Depending on Parameters. | Guoting Chen |
| 1989 | Automatic Reasoning about Numerical Stability of Rational Expressions. | Bruce W. Char |
| 1989 | Solving Systems of Nonlinear Polynomial Equations Faster. | John F. Canny, Erich L. Kaltofen, Yagati N. Lakshman |
| 1989 | A Fast, Reliable Algorithm for Calculating Pad-Hermite Forms. | Stanley Cabay, George Labahn |
| 1989 | Simplification of Real Elementary Functions. | Manuel Bronstein |
| 1989 | Some Results on the Defect. | Russell J. Bradford |
| 1989 | On the Reduction of Linear Systems of Difference Equations. | Moulay A. Barkatou |
| 1989 | Factoring Rational Polynomials over the Complexes. | Chandrajit L. Bajaj, John F. Canny, R. Garrity, Joe D. Warren |