| 1996 | A Case Study of Multi-Threaded Grbner Basis Completion. | Beatrice Amrhein, Oliver Gloor, Wolfgang Kchlin |
| 1996 | Fast High-Precision Computation of Complex Square Roots. | Timm Ahrendt |
| 1996 | D'Alembertian Solutions of Inhomogeneous Linear Equations (differential, difference, and some other). | Sergei A. Abramov, Eugene V. Zima |
| 1995 | Simplification and Optimization Transformations of Chains of Recurrences. | Eugene V. Zima |
| 1995 | Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial. | Kazuhiro Yokoyama, Ziming Li, Istvn Nemes |
| 1995 | Programs for Applying Symmetries. | Thomas Wolf |
| 1995 | Preconditioning of Rectangular Polynomial Matrices for Efficient Hermite Normal Form Computation. | Arne Storjohann, George Labahn |
| 1995 | An Analysis of Lehmer's Euclidean GCD Algorithm. | Jonathan Sorenson |
| 1995 | Mathematical Typesetting in | Neil Soiffer |
| 1995 | Numerical Uniformization of Hyperelliptic Curves. | Klaus-Dieter Semmler, Mika Seppl |
| 1995 | Symmetries of 2 | Fritz Schwarz |
| 1995 | A Simplified Method of Recognizing Zero Among Elementary Constants. | Daniel Richardson |
| 1995 | Fast Recognition of the Nilpotency of Permutation Groups. | Ferenc Rakoczi |
| 1995 | An Algorithm for the Reduction of Linear DAE. | M. P. Qur, Gilles Villard |
| 1995 | A Hybrid Symbolic-Numerical Method for Tracing Surface-to-Surface Intersections. | Trn Quoc Nam |
| 1995 | On the Computation of Ordinary Irreducible Representations of Finite Groups. | Torsten Minkwitz |
| 1995 | A Nearly Linear Algorithm for Sylow Subgroups in Small-Base Groups. | Prabhav Morje |
| 1995 | Grbner Duality and Multiplicities in Polynomial System Solving. | Maria Grazia Marinari, Teo Mora, H. Michael Mller |
| 1995 | A Solution to the Extended GCD Problem. | Bohdan S. Majewski, George Havas |
| 1995 | Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs. | Ian G. Lisle, Gregory J. Reid, A. Boulton |
| 1995 | Evaluation of the Heuristic Polynomial GCD. | Hsin-Chao Liao, Richard J. Fateman |
| 1995 | Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets. | Shankar Krishnan, Dinesh Manocha |
| 1995 | Comparison of Various Multivariate Resultant Formulations. | Deepak Kapur, Tushar Saxena |
| 1995 | An Algorithm for Computing the Weierstrass Normal Form. | Mark van Hoeij |
| 1995 | Algorithms for Computing Sparse Shifts for Multivariate Polynomials. | Dima Grigoriev, Yagati N. Lakshman |