| 1989 | Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups. | Jrgen Avenhaus, Dieter Wissmann |
| 1989 | Computing with Algebraic Series. | Maria Emilia Alonso, Teo Mora, Mario Raimondo |
| 1989 | Recovery of Algebraic Numbers from Their | John Abbott |
| 1988 | Applying Rewriting Techniques to Groups with Power-Communication-Presentations. | Dieter Wissmann |
| 1988 | A Geometrical Decision Algorithm Based on the Grbner Bases Algorithm. | Franz Winkler |
| 1988 | Cayley Factorization. | Neil L. White, Tim McMillan |
| 1988 | Efficient Decision Procedures for Locally Finite Theories II. | Volker Weispfenning |
| 1988 | A Fixed Point Method for Power Series Computation. | Stephen M. Watt |
| 1988 | The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical Problems. | F. Vinette, J. Czek |
| 1988 | Grbner Trace Algorithms. | Carlo Traverso |
| 1988 | A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. | Thierry Boy de la Tour, Ricardo Caferra |
| 1988 | Symbolic Analysis of Planar Drawings. | Philip H. Todd, George W. Cherry |
| 1988 | On the Computational Complexity of the Resolution of Plane Curve Singularities. | Jeremy Teitelbaum |
| 1988 | A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. | Sabine Stifter |
| 1988 | Liouvillian First Integrals of Differential Equations. | Michael F. Singer |
| 1988 | Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element Analysis. | Naveen Sharma, Paul S. Wang |
| 1988 | Asymptotic Estimation of Oscillating Functions Using an Interval Calculus. | John Shackell |
| 1988 | From a Noncomputability Result to new interesting Definitions and Computability Results. | Francis Sergeraert |
| 1988 | Shortest Division Chains in Imaginary Quadratic Number Fields. | Heinrich Rolletschek |
| 1988 | Computer Algebra on MIMD Machine. | Jean-Louis Roch, Pascale Snchaud, Franoise Roch-Siebert, Gilles Villard |
| 1988 | Generic Programming. | David R. Musser, Alexander A. Stepanov |
| 1988 | Groebner Bases in Non-Commutative Algebras. | Teo Mora |
| 1988 | Some Computational Aspects of Root Finding in GF(q | Alfred Menezes, Paul C. van Oorschot, Scott A. Vanstone |
| 1988 | An Ordinary Differential Equation Solver for Reduce. | Malcolm A. H. MacCallum |
| 1988 | Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2. | Heinz Kredel |