| 1995 | A Hybrid Symbolic-Numerical Method for Tracing Surface-to-Surface Intersections. Trân Quoc Nam |
| 1995 | A Nearly Linear Algorithm for Sylow Subgroups in Small-Base Groups. Prabhav Morje |
| 1995 | A Rational Version of Moser's Algorithm. Moulay A. Barkatou |
| 1995 | A Simplified Method of Recognizing Zero Among Elementary Constants. Daniel Richardson |
| 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 | Algorithms for Computing Sparse Shifts for Multivariate Polynomials. Dima Grigoriev, Yagati N. Lakshman |
| 1995 | An Algorithm for Computing the Weierstrass Normal Form. Mark van Hoeij |
| 1995 | An Algorithm for the Reduction of Linear DAE. M. P. Quéré, Gilles Villard |
| 1995 | An Analysis of Lehmer's Euclidean GCD Algorithm. Jonathan Sorenson |
| 1995 | Comparison of Various Multivariate Resultant Formulations. Deepak Kapur, Tushar Saxena |
| 1995 | Computations with Relative Extensions of Number Fields with an Application to the Construction of Hilbert Class Fields. Mario Daberkow, Michael Pohst |
| 1995 | Computing with Matrix Groups Using Permutation Representations. Gene Cooperman, Larry Finkelstein, Michael Tselman |
| 1995 | Evaluation of the Heuristic Polynomial GCD. Hsin-Chao Liao, Richard J. Fateman |
| 1995 | Fast Computation of the Smith Normal Form of an Integer Matrix. Mark Giesbrecht |
| 1995 | Fast Recognition of the Nilpotency of Permutation Groups. Ferenc Rakoczi |
| 1995 | Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial. Kazuhiro Yokoyama, Ziming Li, István Nemes |
| 1995 | From Honest to Intelligent Plotting. Ron Avitzur, Olaf Bachmann, Norbert Kajler |
| 1995 | Gröbner Duality and Multiplicities in Polynomial System Solving. Maria Grazia Marinari, Teo Mora, H. Michael Möller |
| 1995 | Implicitization of Parametric Curves and Surfaces by Using Symmetric Functions. Laureano González-Vega, Guadalupe Trujillo |
| 1995 | Indefinite Sums of Rational Functions. Sergei A. Abramov |
| 1995 | Mathematical Typesetting in Neil Soiffer |
| 1995 | Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets. Shankar Krishnan, Dinesh Manocha |
| 1995 | Numerical Uniformization of Hyperelliptic Curves. Klaus-Dieter Semmler, Mika Seppälä |
| 1995 | On Computing Greatest Common Divisors with Polynomials Given by Black Boxes for Their Evaluations. Angel Díaz, Erich L. Kaltofen |
| 1995 | On Polynomial Solutions of Linear Operator Equations. Sergei A. Abramov, Manuel Bronstein, Marko Petkovsek |
| 1995 | On the Computation of Ordinary Irreducible Representations of Finite Groups. Torsten Minkwitz |
| 1995 | On the Implementation of Dynamic Evaluation. Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt |
| 1995 | Preconditioning of Rectangular Polynomial Matrices for Efficient Hermite Normal Form Computation. Arne Storjohann, George Labahn |
| 1995 | Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, July 10-12, 1995 A. H. M. Levelt |
| 1995 | Programs for Applying Symmetries. Thomas Wolf |
| 1995 | Rational Solutions of linear Difference and Sergei A. Abramov |
| 1995 | Representation for the Radical of a Finitely Generated Differential Ideal. François Boulier, Daniel Lazard, François Ollivier, Michel Petitot |
| 1995 | STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems. Gene Cooperman |
| 1995 | Searching Techniques for Integral Tables. T. H. Einwohner, Richard J. Fateman |
| 1995 | Simplification and Optimization Transformations of Chains of Recurrences. Eugene V. Zima |
| 1995 | Symmetries of 2 Fritz Schwarz |
| 1995 | The Analytic Continuation Process: From Computer Algebra to Numerical Analysis. Claudine Chaffy |
| 1995 | The Singular Value Decomposition for Polynomial Systems. Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt |
| 1995 | The Symbolic Computation of Differential Invariants of Polynomial Vector Field Systems Using Trees. M. J. Doffou, Robert L. Grossman |
| 1995 | Theorems and Algorithms: An Interface between Isabelle and Maple. Clemens Ballarin, Karsten Homann, Jacques Calmet |