| 1994 | How to Compute the Melnikov Vector? | Alain Goriely, Michael Tabor |
| 1994 | Fast Algorithms for Rational Forms of Integer Matrices. | Mark Giesbrecht |
| 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 | On a Modular Algorithm for Computing GCDs of Polynomials over Algebraic Number Fields. | Mark J. Encarnacin |
| 1994 | Monomial Bases and Polynomial System Solving (extended abstract). | Ioannis Z. Emiris, Ashutosh Rege |
| 1994 | An Application of Symbolic Computation in the Physical Sciences. | Charles C. Dyer |
| 1994 | On the Isomorphisms of Smooth Algebraic Curves. | Hong Du |
| 1994 | Branch Cuts in Computer Algebra. | Adam Dingle, Richard J. Fateman |
| 1994 | Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract). | Robert Cremanns, Friedrich Otto |
| 1994 | Sufficiency Analysis for the Calculus of Variations. | Robert M. Corless |
| 1994 | Constructing Permutation Representations for Large Matrix Groups. | Gene Cooperman, Larry Finkelstein, Bryant W. York, Michael Tselman |
| 1994 | Automatic Identification of Time Scales in Enzyme Kinetics Models. | Bruce W. Char, Mark F. Russo |
| 1994 | A Fine-Grained Parallel Completion Procedure. | Reinhard Bndgen, Manfred Gbel, Wolfgang Kchlin |
| 1994 | An Improved Algorithm for Factoring Linear Ordinary Differential Operators. | Manuel Bronstein |
| 1994 | Programming with Algebraic Structures: Design of the MAGMA Language. | Wieb Bosma, John J. Cannon, Graham Matthews |
| 1994 | GENTRAN 90: A REDUCE Package for the Generation of Fortran 90 Code. | Willem Nico, V. V. Goldman, J. A. van Hulzen |
| 1994 | On the Implementation of a new Algorithm for the Computation of Hyperelliptic Integrals. | Laurent Bertrand |
| 1994 | Optical Character Recognition for Typeset Mathematics. | Benjamin P. Berman, Richard J. Fateman |
| 1994 | The Shape of the Shape Lemma. | Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso |
| 1994 | A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms. | Jamil Baddoura |
| 1994 | Chains of Recurrences - a Method to Expedite the Evaluation of Closed-form Functions. | Olaf Bachmann, Paul S. Wang, Eugene V. Zima |
| 1994 | D'Alembertian Solutions of Linear Differential and Difference Equations. | Sergei A. Abramov, Marko Petkovsek |
| 1993 | Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique. | Eugene V. Zima |
| 1993 | On Algebraic Solutions of First Order Riccatti Equation. | Alexey Zharkov |
| 1993 | On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries. | Kazuhiro Yokoyama, Taku Takeshima |