| 1989 | Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings Patrizia M. Gianni |
| 1988 | A Fixed Point Method for Power Series Computation. Stephen M. Watt |
| 1988 | A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. Thierry Boy de la Tour, Ricardo Caferra |
| 1988 | A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. Sabine Stifter |
| 1988 | A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. Franz Winkler |
| 1988 | A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. Keith O. Geddes, Gaston H. Gonnet |
| 1988 | Algebraic Extensions and Algebraic Closure in Scratchpad II. Claire Dicrescenzo, Dominique Duval |
| 1988 | Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination. Marc Giusti, Daniel Lazard, Annick Valibouze |
| 1988 | An Algorithm for Symbolic Computation of Center Manifolds. Emilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo García Franquelo |
| 1988 | An Application of Reduce to the Approximation of F(X, Y). Claudine Chaffy-Camus |
| 1988 | An Ordinary Differential Equation Solver for Reduce. Malcolm A. H. MacCallum |
| 1988 | Applying Rewriting Techniques to Groups with Power-Communication-Presentations. Dieter Wissmann |
| 1988 | Asymptotic Estimation of Oscillating Functions Using an Interval Calculus. John Shackell |
| 1988 | Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians? Hubert Caprasse, Jaques Demaret, Eberhard Schrüfer |
| 1988 | Cayley Factorization. Neil L. White, Tim McMillan |
| 1988 | Cayley, Version 4: The User Language. Gregory Butler, John J. Cannon |
| 1988 | Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations. D. Yu. Grigoryev |
| 1988 | Computations with Algebraic Curves. Shreeram S. Abhyankar, Chandrajit L. Bajaj |
| 1988 | Computer Algebra on MIMD Machine. Jean-Louis Roch, Pascale Sénéchaud, Françoise Roch-Siebert, Gilles Villard |
| 1988 | Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. Domenico Cantone, Vincenzo Cutello, Alfredo Ferro |
| 1988 | Decomposition of Algebras. Patrizia M. Gianni, Victor Miller, Barry M. Trager |
| 1988 | Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper |
| 1988 | Dynamic Maintenance of Paths and Path Expressions on Graphs. Giorgio Ausiello, Alberto Marchetti-Spaccamela, Umberto Nanni |
| 1988 | Effective Tests for Cyclotonic Polynomials. Russell J. Bradford, James H. Davenport |
| 1988 | Efficient Decision Procedures for Locally Finite Theories II. Volker Weispfenning |
| 1988 | Equations in Words. Habib Abdulrab |
| 1988 | Experiments with Quadtree Representation of Matrices. S. Kamal Abdali, David S. Wise |
| 1988 | Experiments with a Projection Operator for Algebraic Decomposition. Stefan Arnborg |
| 1988 | Fast Reduction of the Risch Differential Equation. Manuel Bronstein |
| 1988 | From a Noncomputability Result to new interesting Definitions and Computability Results. Francis Sergeraert |
| 1988 | Generalized Characteristic Polynomials. John F. Canny |
| 1988 | Generic Programming. David R. Musser, Alexander A. Stepanov |
| 1988 | Greater Easy Common Divisor and Standard Basis Completion Algorithms. André Galligo, Loic Pottier, Carlo Traverso |
| 1988 | Groebner Bases in Non-Commutative Algebras. Teo Mora |
| 1988 | Gröbner Trace Algorithms. Carlo Traverso |
| 1988 | Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract) Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley |
| 1988 | Improved Sparse Multivariate Polynomial Interpolation Algorithms. Erich L. Kaltofen, Yagati N. Lakshman |
| 1988 | Liouvillian First Integrals of Differential Equations. Michael F. Singer |
| 1988 | On the Computational Complexity of the Resolution of Plane Curve Singularities. Jeremy Teitelbaum |
| 1988 | Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations. Moulay A. Barkatou |
| 1988 | Shortest Division Chains in Imaginary Quadratic Number Fields. Heinrich Rolletschek |
| 1988 | Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2. Heinz Kredel |
| 1988 | Solving Permutation Problems Using Rewriting Systems. Cynthia A. Brown, Gene Cooperman, Larry Finkelstein |
| 1988 | Solving Systems of Algebraic Equations. Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan |
| 1988 | Some Computational Aspects of Root Finding in GF(q Alfred Menezes, Paul C. van Oorschot, Scott A. Vanstone |
| 1988 | Symbolic Analysis of Planar Drawings. Philip H. Todd, George W. Cherry |
| 1988 | Symbolic Computation for Witt Rings. Algimantas Juozapavicius |
| 1988 | Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element Analysis. Naveen Sharma, Paul S. Wang |
| 1988 | Tetrahedrizing Point Sets in Three Dimensions. Herbert Edelsbrunner, Franco P. Preparata |
| 1988 | The Probability of Relative Primality of Gaussian Integers. George E. Collins, Jeremy R. Johnson |
| 1988 | The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical Problems. F. Vinette, J. Cízek |
| 1988 | Verification of Non-Identities in Algebras. Irvin Roy Hentzel, David Pokrass Jacobs |