| 1988 | Solving Systems of Algebraic Equations. | Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan |
| 1988 | Improved Sparse Multivariate Polynomial Interpolation Algorithms. | Erich L. Kaltofen, Yagati N. Lakshman |
| 1988 | Symbolic Computation for Witt Rings. | Algimantas Juozapavicius |
| 1988 | Verification of Non-Identities in Algebras. | Irvin Roy Hentzel, David Pokrass Jacobs |
| 1988 | Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations. | D. Yu. Grigoryev |
| 1988 | Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination. | Marc Giusti, Daniel Lazard, Annick Valibouze |
| 1988 | Decomposition of Algebras. | Patrizia M. Gianni, Victor Miller, Barry M. Trager |
| 1988 | Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract) | Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley |
| 1988 | A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. | Keith O. Geddes, Gaston H. Gonnet |
| 1988 | Greater Easy Common Divisor and Standard Basis Completion Algorithms. | Andr Galligo, Loic Pottier, Carlo Traverso |
| 1988 | An Algorithm for Symbolic Computation of Center Manifolds. | Emilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo Garca Franquelo |
| 1988 | Tetrahedrizing Point Sets in Three Dimensions. | Herbert Edelsbrunner, Franco P. Preparata |
| 1988 | Algebraic Extensions and Algebraic Closure in Scratchpad II. | Claire Dicrescenzo, Dominique Duval |
| 1988 | The Probability of Relative Primality of Gaussian Integers. | George E. Collins, Jeremy R. Johnson |
| 1988 | Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). | Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper |
| 1988 | An Application of Reduce to the Approximation of F(X, Y). | Claudine Chaffy-Camus |
| 1988 | Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians? | Hubert Caprasse, Jaques Demaret, Eberhard Schrfer |
| 1988 | Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. | Domenico Cantone, Vincenzo Cutello, Alfredo Ferro |
| 1988 | Generalized Characteristic Polynomials. | John F. Canny |
| 1988 | Cayley, Version 4: The User Language. | Gregory Butler, John J. Cannon |
| 1988 | Solving Permutation Problems Using Rewriting Systems. | Cynthia A. Brown, Gene Cooperman, Larry Finkelstein |
| 1988 | Fast Reduction of the Risch Differential Equation. | Manuel Bronstein |
| 1988 | Effective Tests for Cyclotonic Polynomials. | Russell J. Bradford, James H. Davenport |
| 1988 | Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations. | Moulay A. Barkatou |
| 1988 | Dynamic Maintenance of Paths and Path Expressions on Graphs. | Giorgio Ausiello, Alberto Marchetti-Spaccamela, Umberto Nanni |