| 1994 | A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms. Jamil Baddoura |
| 1994 | A Fine-Grained Parallel Completion Procedure. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin |
| 1994 | A First Report on the A Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor |
| 1994 | A System for the Symbolic Analysis of Problems in Engineering Mechanics. Philip H. Todd, Robin J. Y. McLeod, Marcia Harris |
| 1994 | Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction. Oscar E. Ruiz S., Placid M. Ferreira |
| 1994 | Algebraic and Geometric Reasoning Using Dixon Resultants. Deepak Kapur, Tushar Saxena, Lu Yang |
| 1994 | Algorithms for Finding the Structure of Solutions of a System of Linear Partial Differential Equations. Toshinori Oaku |
| 1994 | Algorithms for Type Inference with Coercions. Andreas Weber |
| 1994 | An Algorithm for Complexes. Roberto La Scala |
| 1994 | An Application of Symbolic Computation in the Physical Sciences. Charles C. Dyer |
| 1994 | An Improved Algorithm for Factoring Linear Ordinary Differential Operators. Manuel Bronstein |
| 1994 | Asymptotically Fast Solution of Toeplitz-like Singular Linear Systems. Erich L. Kaltofen |
| 1994 | Automatic Identification of Time Scales in Enzyme Kinetics Models. Bruce W. Char, Mark F. Russo |
| 1994 | Automating the Construction of Stationary Multiple-Point Classes. Sylvain Petitjean |
| 1994 | Branch Cuts in Computer Algebra. Adam Dingle, Richard J. Fateman |
| 1994 | Chains of Recurrences - a Method to Expedite the Evaluation of Closed-form Functions. Olaf Bachmann, Paul S. Wang, Eugene V. Zima |
| 1994 | Characteristic Classes for Irregular Singularities. Ron Sommeling |
| 1994 | Computing Normalizers in Permutation Eugene M. Luks, Ferenc Rakoczi, Charles R. B. Wright |
| 1994 | Computing Parameterizations of Rational Algebraic Curves. Mark van Hoeij |
| 1994 | Computing Selected Solutions of Polynomial Equations. Dinesh Manocha |
| 1994 | Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract). Robert Cremanns, Friedrich Otto |
| 1994 | Constructing Permutation Representations for Large Matrix Groups. Gene Cooperman, Larry Finkelstein, Bryant W. York, Michael Tselman |
| 1994 | D'Alembertian Solutions of Linear Differential and Difference Equations. Sergei A. Abramov, Marko Petkovsek |
| 1994 | Examples of Automatic Theorem Proving a Real Geometry. Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy |
| 1994 | Factoring High-Degree Polynomials by the Black Box Berlekamp Algorithm. Erich L. Kaltofen, Austin Lobo |
| 1994 | Fast Algorithms for Rational Forms of Integer Matrices. Mark Giesbrecht |
| 1994 | Fast Parallel Computation of the Smith Normal Form of Polynomial Matrices. Gilles Villard |
| 1994 | Fast Polynomial Dispersion Computation and Its Application to Indefinite Summation. Yiu-Kwong Man, Francis J. Wright |
| 1994 | Finding Blocks of Imprimitivity in Small-Base Groups in Nearly Linear Time. Martin Schönert, Ákos Seress |
| 1994 | GENTRAN 90: A REDUCE Package for the Generation of Fortran 90 Code. Willem Nico, V. V. Goldman, J. A. van Hulzen |
| 1994 | How to Compute the Melnikov Vector? Alain Goriely, Michael Tabor |
| 1994 | How to Make AXIOM into a Scratchpad. Richard D. Jenks, Barry M. Trager |
| 1994 | Implicitization of Hypersurfaces and Curves by the Primbasissatz and Basis Conversion. Sandra Licciardi, Teo Mora |
| 1994 | Inheritance of Rewrite Rule Structures Applied to Symbolic Computation. Jason F. Harris |
| 1994 | MP: A Protocol for Efficient Exchange of Mathematical Expressions. Simon Gray, Norbert Kajler, Paul S. Wang |
| 1994 | Monomial Bases and Polynomial System Solving (extended abstract). Ioannis Z. Emiris, Ashutosh Rege |
| 1994 | On Computing Sparse Shifts for Univariate Polynomials. Yagati N. Lakshman, B. David Saunders |
| 1994 | On a Modular Algorithm for Computing GCDs of Polynomials over Algebraic Number Fields. Mark J. Encarnación |
| 1994 | On the Implementation of a new Algorithm for the Computation of Hyperelliptic Integrals. Laurent Bertrand |
| 1994 | On the Isomorphisms of Smooth Algebraic Curves. Hong Du |
| 1994 | On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. Tomás Recio, M. J. González-López |
| 1994 | Optical Character Recognition for Typeset Mathematics. Benjamin P. Berman, Richard J. Fateman |
| 1994 | Parallelization of the Sparse Modular GCD Algorithm for Multivariate Polynomials on Shared Memory Multiprocessors. Mohamed Omar Rayes, Paul S. Wang, Kenneth Weber |
| 1994 | Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994 Malcolm A. H. MacCallum |
| 1994 | Programming with Algebraic Structures: Design of the MAGMA Language. Wieb Bosma, John J. Cannon, Graham Matthews |
| 1994 | Quantifier Elimination for Real Algebra - the Cubic Case. Volker Weispfenning |
| 1994 | Signature Functions for Algebraic Numbers. Michael B. Monagan, Gaston H. Gonnet |
| 1994 | Sufficiency Analysis for the Calculus of Variations. Robert M. Corless |
| 1994 | Symbolic-Numeric Nonlinear Equation Solving. Kelly Roach |
| 1994 | Symbolic-Numeric Stability Investigations of Jameson's Schemes for the Thin-Layer Navier-Stokes Equations. Victor G. Ganzha, Evgenii V. Vorozhtsov, J. Boers, J. A. van Hulzen |
| 1994 | The Albert Nonassociative Algebra System: A Progress Report. David Pokrass Jacobs |
| 1994 | The Gröbner Basis Algorithm and Subresultant Theory. Ana Maria Mandache |
| 1994 | The Identity Problem for Elementary Functions and Constants. Daniel Richardson, John P. Fitch |
| 1994 | The Shape of the Shape Lemma. Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso |
| 1994 | The Use of the Special Semi-Groups for Solving Differential Equations. Jacques-Arthur Weil |