| 1995 | Implicitization of Parametric Curves and Surfaces by Using Symmetric Functions. | Laureano Gonzlez-Vega, Guadalupe Trujillo |
| 1995 | Fast Computation of the Smith Normal Form of an Integer Matrix. | Mark Giesbrecht |
| 1995 | Searching Techniques for Integral Tables. | T. H. Einwohner, Richard J. Fateman |
| 1995 | The Symbolic Computation of Differential Invariants of Polynomial Vector Field Systems Using Trees. | M. J. Doffou, Robert L. Grossman |
| 1995 | On Computing Greatest Common Divisors with Polynomials Given by Black Boxes for Their Evaluations. | Angel Daz, Erich L. Kaltofen |
| 1995 | Computations with Relative Extensions of Number Fields with an Application to the Construction of Hilbert Class Fields. | Mario Daberkow, Michael Pohst |
| 1995 | The Singular Value Decomposition for Polynomial Systems. | Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt |
| 1995 | Computing with Matrix Groups Using Permutation Representations. | Gene Cooperman, Larry Finkelstein, Michael Tselman |
| 1995 | STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems. | Gene Cooperman |
| 1995 | The Analytic Continuation Process: From Computer Algebra to Numerical Analysis. | Claudine Chaffy |
| 1995 | On the Implementation of Dynamic Evaluation. | Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt |
| 1995 | Representation for the Radical of a Finitely Generated Differential Ideal. | Franois Boulier, Daniel Lazard, Franois Ollivier, Michel Petitot |
| 1995 | A Rational Version of Moser's Algorithm. | Moulay A. Barkatou |
| 1995 | Theorems and Algorithms: An Interface between Isabelle and Maple. | Clemens Ballarin, Karsten Homann, Jacques Calmet |
| 1995 | From Honest to Intelligent Plotting. | Ron Avitzur, Olaf Bachmann, Norbert Kajler |
| 1995 | On Polynomial Solutions of Linear Operator Equations. | Sergei A. Abramov, Manuel Bronstein, Marko Petkovsek |
| 1995 | Indefinite Sums of Rational Functions. | Sergei A. Abramov |
| 1995 | Rational Solutions of linear Difference and | Sergei A. Abramov |
| 1994 | Quantifier Elimination for Real Algebra - the Cubic Case. | Volker Weispfenning |
| 1994 | The Use of the Special Semi-Groups for Solving Differential Equations. | Jacques-Arthur Weil |
| 1994 | Algorithms for Type Inference with Coercions. | Andreas Weber |
| 1994 | A First Report on the A | Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor |
| 1994 | Fast Parallel Computation of the Smith Normal Form of Polynomial Matrices. | Gilles Villard |
| 1994 | A System for the Symbolic Analysis of Problems in Engineering Mechanics. | Philip H. Todd, Robin J. Y. McLeod, Marcia Harris |
| 1994 | Characteristic Classes for Irregular Singularities. | Ron Sommeling |