| 1994 | Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction. | Oscar E. Ruiz S., Placid M. Ferreira |
| 1994 | Finding Blocks of Imprimitivity in Small-Base Groups in Nearly Linear Time. | Martin Schnert, kos Seress |
| 1994 | An Algorithm for Complexes. | Roberto La Scala |
| 1994 | Symbolic-Numeric Nonlinear Equation Solving. | Kelly Roach |
| 1994 | The Identity Problem for Elementary Functions and Constants. | Daniel Richardson, John P. Fitch |
| 1994 | On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. | Toms Recio, M. J. Gonzlez-Lpez |
| 1994 | Parallelization of the Sparse Modular GCD Algorithm for Multivariate Polynomials on Shared Memory Multiprocessors. | Mohamed Omar Rayes, Paul S. Wang, Kenneth Weber |
| 1994 | Automating the Construction of Stationary Multiple-Point Classes. | Sylvain Petitjean |
| 1994 | Algorithms for Finding the Structure of Solutions of a System of Linear Partial Differential Equations. | Toshinori Oaku |
| 1994 | Signature Functions for Algebraic Numbers. | Michael B. Monagan, Gaston H. Gonnet |
| 1994 | Fast Polynomial Dispersion Computation and Its Application to Indefinite Summation. | Yiu-Kwong Man, Francis J. Wright |
| 1994 | Computing Selected Solutions of Polynomial Equations. | Dinesh Manocha |
| 1994 | The Grbner Basis Algorithm and Subresultant Theory. | Ana Maria Mandache |
| 1994 | Computing Normalizers in Permutation | Eugene M. Luks, Ferenc Rakoczi, Charles R. B. Wright |
| 1994 | Implicitization of Hypersurfaces and Curves by the Primbasissatz and Basis Conversion. | Sandra Licciardi, Teo Mora |
| 1994 | On Computing Sparse Shifts for Univariate Polynomials. | Yagati N. Lakshman, B. David Saunders |
| 1994 | Algebraic and Geometric Reasoning Using Dixon Resultants. | Deepak Kapur, Tushar Saxena, Lu Yang |
| 1994 | Factoring High-Degree Polynomials by the Black Box Berlekamp Algorithm. | Erich L. Kaltofen, Austin Lobo |
| 1994 | Asymptotically Fast Solution of Toeplitz-like Singular Linear Systems. | Erich L. Kaltofen |
| 1994 | How to Make AXIOM into a Scratchpad. | Richard D. Jenks, Barry M. Trager |
| 1994 | The Albert Nonassociative Algebra System: A Progress Report. | David Pokrass Jacobs |
| 1994 | Computing Parameterizations of Rational Algebraic Curves. | Mark van Hoeij |
| 1994 | Inheritance of Rewrite Rule Structures Applied to Symbolic Computation. | Jason F. Harris |
| 1994 | Examples of Automatic Theorem Proving a Real Geometry. | Ahmed Guergueb, Jean Mainguen, Marie-Franoise Roy |
| 1994 | MP: A Protocol for Efficient Exchange of Mathematical Expressions. | Simon Gray, Norbert Kajler, Paul S. Wang |