| 1997 | Polynomial Time Algorithms for Modules over Finite Dimensional Algebras. | Alexander L. Chistov, Gbor Ivanyos, Marek Karpinski |
| 1997 | On the Computation of Conjugacy Classes in Permutation Groups. | John J. Cannon, Bernd Souvignier |
| 1997 | Families of Ideals in Statistics. | Massimo Caboara, Lorenzo Robbiano |
| 1997 | A Survey of the Theorema Project. | Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru |
| 1997 | On Symmetric Powers of Differential Operators. | Manuel Bronstein, Thom Mulders, Jacques-Arthur Weil |
| 1997 | Fraction-free Computation of Catrix Pad Systems. | Bernhard Beckermann, Stanley Cabay, George Labahn |
| 1997 | Uniform Quantifier Elimination and Constraint Query Processing. | Saugata Basu |
| 1997 | A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. | Carlos Andradas, Toms Recio, J. Rafael Sendra |
| 1997 | A Class of Logarithmic Integrals. | Victor Adamchik |
| 1997 | Minimal Completely Factorable Annihilators. | Sergei A. Abramov, Eugene V. Zima |
| 1997 | A Method for the Integration of Solutions of Ore Equations. | Sergei A. Abramov, Mark van Hoeij |
| 1997 | Algorithms and Design for a Second-Order Automatic Differentiation Module. | Jason Abate, Christian H. Bischof, Lucas Roh, Alan Carle |
| 1996 | A Methodology of Parsing Mathematical Notation for Mathematical Computation. | Yanjie Zhao, Tetsuya Sakurai, Hiroshi Sugiura, Tatsuo Torii |
| 1996 | Computing Popov and Hermite Forms of Polynomial Matrices. | Gilles Villard |
| 1996 | An Algorithm for Complete Enumeration of all Factorizations of a Linear Ordinary Differential Operator. | Serguei P. Tsarev |
| 1996 | Computing Character Tables of | Andreas Thmmel |
| 1996 | Symbolic Computation of the Index of Quasilinear Differential-Algebraic Equations. | Gabriel Thomas |
| 1996 | Asymptotically Fast Computation of Hermite Normal Forms of Integer Matrices. | Arne Storjohann, George Labahn |
| 1996 | Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices. | Arne Storjohann |
| 1996 | Analysis of Zero Clusters in Multivariate Polynomial Systems. | Hans J. Stetter |
| 1996 | Janet Bases of 2nd Order Ordinary Differential Equations. | Fritz Schwarz |
| 1996 | Computing the Complexification of a Semi-Algebraic Set. | Marie-Franoise Roy, Nicolai N. Vorobjov Jr. |
| 1996 | Hypergeometric Function Representations. | Kelly Roach |
| 1996 | Asymptotic Expansions of exp-log Functions. | Daniel Richardson, Bruno Salvy, John Shackell, Joris van der Hoeven |
| 1996 | Solution of Elementary Systems of Equations in a Box in | Daniel Richardson |