| 1996 | A Case Study of Multi-Threaded Gröbner Basis Completion. Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin |
| 1996 | A Methodology of Parsing Mathematical Notation for Mathematical Computation. Yanjie Zhao, Tetsuya Sakurai, Hiroshi Sugiura, Tatsuo Torii |
| 1996 | A Tangent-Secant Method for Polynomial Complex Root Calculation. George E. Collins, Werner Krandick |
| 1996 | Algorithms for Primitive Elements of Free Lie Algebras and Lie Superalgebras. Alexander A. Mikhalev, Andrej A. Zolotykh |
| 1996 | An Algorithm for Complete Enumeration of all Factorizations of a Linear Ordinary Differential Operator. Serguei P. Tsarev |
| 1996 | An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals. Ulla Koppenhagen, Ernst W. Mayr |
| 1996 | Analysis of Zero Clusters in Multivariate Polynomial Systems. Hans J. Stetter |
| 1996 | Approximate Polynomial Greatest Common Divisors and Nearest Singular Polynomials. Narendra Karmarkar, Yagati N. Lakshman |
| 1996 | Arithmetic and Factorization of Polynomial Over F Joachim von zur Gathen, Jürgen Gerhard |
| 1996 | Asymptotic Expansions of exp-log Functions. Daniel Richardson, Bruno Salvy, John Shackell, Joris van der Hoeven |
| 1996 | Asymptotically Fast Computation of Hermite Normal Forms of Integer Matrices. Arne Storjohann, George Labahn |
| 1996 | Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation. Rainer Bacher |
| 1996 | Computing Character Tables of Andreas Thümmel |
| 1996 | Computing Popov and Hermite Forms of Polynomial Matrices. Gilles Villard |
| 1996 | Computing the Complexification of a Semi-Algebraic Set. Marie-Françoise Roy, Nicolai N. Vorobjov Jr. |
| 1996 | D'Alembertian Solutions of Inhomogeneous Linear Equations (differential, difference, and some other). Sergei A. Abramov, Eugene V. Zima |
| 1996 | Differentially Homogeneous Differential Polynomials. Georg M. Reinhart, William Y. Sit |
| 1996 | Efficient Decomposition of Associative Algebras. Wayne Eberly, Mark Giesbrecht |
| 1996 | Exponential Space Computation of Gröbner Bases. Klaus Kühnle, Ernst W. Mayr |
| 1996 | Factoring Modular Polynomials (extended abstract). Joachim von zur Gathen, Silke Hartlieb |
| 1996 | Fast Computations in the Lattice of Polynomial Rational Function Fields. Franz Binder |
| 1996 | Fast High-Precision Computation of Complex Square Roots. Timm Ahrendt |
| 1996 | Generic Gram-Schmidt Orthogonalization by Exact Division. Úlfar Erlingsson, Erich L. Kaltofen, David R. Musser |
| 1996 | Groebner Basis Under Composition II. Hoon Hong |
| 1996 | Hypergeometric Function Representations. Kelly Roach |
| 1996 | Janet Bases of 2nd Order Ordinary Differential Equations. Fritz Schwarz |
| 1996 | MPP: A Framework for Distributed Polynomial Computations. Olaf Bachmann, Hans Schönemann, Simon Gray |
| 1996 | MapleTensor: Progress Report on a New System for Performing Indicial and Component Tensor Calculations Using Symbolic Computation. Masoud Kavian, R. G. McLenaghan, Keith O. Geddes |
| 1996 | Memory Tracing of Algebraic Calculations. Arthur Norman, John P. Fitch |
| 1996 | Multigraded Hilbert Functions and Buchberger Algorithm. Massimo Caboara, Gabriel de Dominicis, Lorenzo Robbiano |
| 1996 | Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices. Arne Storjohann |
| 1996 | New Sequential and Parallel Algorithms for Generating High Dimension Hecke Algebras Using the Condensation Technique. Gene Cooperman, Michael Tselman |
| 1996 | On Rank Properties of Toeplitz Matrices over Finite Fields. Erich L. Kaltofen, Austin Lobo |
| 1996 | Parallel Distinct Degree Factorization Algorithm. Tetsuro Fujise, Hirokazu Murao |
| 1996 | Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996 Erwin Engeler, Bob F. Caviness, Yagati N. Lakshman |
| 1996 | Rational Solutions of the Mixed Differential Equation and Its Application to Factorization of Differential Operators. Mark van Hoeij |
| 1996 | Solution of Elementary Systems of Equations in a Box in Daniel Richardson |
| 1996 | Symbolic Computation of the Index of Quasilinear Differential-Algebraic Equations. Gabriel Thomas |
| 1996 | Symbolic Mathematics System Evaluators (extended abstract). Richard J. Fateman |
| 1996 | Testing Shift-Equivalence of Polynomials Using Quantum Machines. Dima Grigoriev |
| 1996 | The Euclidean Algorithm in Dimension Loic Pottier |
| 1996 | The General Solution of an Ordinary Differential Equation. Evelyne Hubert |