| 1989 | A Code Optimization Package for REDUCE. J. A. van Hulzen, Ben J. A. Hulshof, Barbara L. Gates, M. C. van Heerwaarden |
| 1989 | A Differential-Equations Approach to Functional Equivalence. J. Shackle |
| 1989 | A Factorization Algorithm for Linear Ordinary Differential Equations. Fritz Schwarz |
| 1989 | A Fast, Reliable Algorithm for Calculating Padé-Hermite Forms. Stanley Cabay, George Labahn |
| 1989 | A MACSYMA Package for the Generation and Manipulation of Chebyshev Series. T. H. Einwohner, Richard J. Fateman |
| 1989 | A Method for Enumerating Cosets of a Group Presented by a Canonical System. Norbert Kuhn, Klaus Madlener |
| 1989 | A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm. B. David Saunders, Hong R. Lee, S. Kamal Abdali |
| 1989 | A Program Generator for Efficient Evaluation of Fourier Series. B. R. Miller |
| 1989 | A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds. Trevor J. Smedley |
| 1989 | An Improved Las Vegas Primality Test. Erich L. Kaltofen, Thomas Valente, Norika Yui |
| 1989 | Automatic Reasoning about Numerical Stability of Rational Expressions. Bruce W. Char |
| 1989 | Can REDUCE be Run in Parallel? John P. Fitch |
| 1989 | Careful Algebraic Translations of Geometry Theorems. B. Kutzler |
| 1989 | Computing the Normal Forms of Matrices Depending on Parameters. Guoting Chen |
| 1989 | Computing with Algebraic Series. Maria Emilia Alonso, Teo Mora, Mario Raimondo |
| 1989 | Constrained Equational Reasoning. Claude Kirchner, Hélène Kirchner |
| 1989 | Dense Representation of Affine Coordinate Rings of Curves with One Point at Infinity. S. C. Porter |
| 1989 | Employing Path Dissolution to Shorten Tableaux Proofs. Neil V. Murray, Erik Rosenthal |
| 1989 | Experimenting the Gröbner Basis Algorithm with the A1P Carlo Traverso, L. Donati |
| 1989 | Factoring Rational Polynomials over the Complexes. Chandrajit L. Bajaj, John F. Canny, R. Garrity, Joe D. Warren |
| 1989 | GENCRAY: A Portable Code Generator for Cray Fortran. Sanjiva Weerawarana, Paul S. Wang |
| 1989 | Inversibility of Rational Mappings and Structural Identifiability in Automatics. François Ollivier |
| 1989 | Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. Franz Winkler |
| 1989 | Labeled Trees and the Efficient Computation of Derivations. Robert L. Grossman, Richard G. Larson |
| 1989 | Lookup Tables, Recurrences and Complexity. Richard J. Fateman |
| 1989 | MINION: An Environment to Organize Mathematical Problem Solving. James M. Purtilo |
| 1989 | Massively Parallel Symbolic Computation. André Deprit, Etienne Deprit |
| 1989 | Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. Peter W. O'Hearn, Zbigniew Stachniak |
| 1989 | On Some Computations with Dense Structured Matrices. Victor Y. Pan |
| 1989 | On the Castelnuovo Regularity for Curves. Marc Giusti |
| 1989 | On the Computer Solution of Symmetric Homogeneous Triangle Inequalities. S. Rabinowitz |
| 1989 | On the Reduction of Linear Systems of Difference Equations. Moulay A. Barkatou |
| 1989 | On the Risch-Norman Integration Method and Its Implementation in MAPLE. Keith O. Geddes, L. Yohanes Stefanus |
| 1989 | Parallel Algorithms for Hermite Normal Form of an Integer Matrix. Françoise Siebert-Roch |
| 1989 | Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989 Gaston H. Gonnet |
| 1989 | Quantifier Elimination and the Sign Variation Method for Real Root Isolation. George E. Collins, Jeremy R. Johnson |
| 1989 | Recovery of Algebraic Numbers from Their John Abbott |
| 1989 | Reduction of Group Constructions to Point Stabilizers. Gene Cooperman, Larry Finkelstein, Eugene M. Luks |
| 1989 | Resolvents and Symmetric Functions. Annick Valibouze |
| 1989 | Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. Richard J. Fateman |
| 1989 | Simplification of Real Elementary Functions. Manuel Bronstein |
| 1989 | Solving Systems of Nonlinear Polynomial Equations Faster. John F. Canny, Erich L. Kaltofen, Yagati N. Lakshman |
| 1989 | Some Results on the Defect. Russell J. Bradford |
| 1989 | Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. Mitsuhiro Okada |
| 1989 | Sturm-Habicht Sequence. Laureano González, Henri Lombardi, Tomás Recio, Marie-Françoise Roy |
| 1989 | Symbolic Summation with Generating Functions. R. A. Ravenscroft Jr., Edmund A. Lamagna |
| 1989 | Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups. Jürgen Avenhaus, Dieter Wissmann |