| 1997 | A Class of Logarithmic Integrals. Victor Adamchik |
| 1997 | A Method for the Integration of Solutions of Ore Equations. Sergei A. Abramov, Mark van Hoeij |
| 1997 | A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials. Ziming Li, István Nemes |
| 1997 | A Numerical Absolute Primality Test for Bivariate Polynomials. André Galligo, Stephen M. Watt |
| 1997 | A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. Carlos Andradas, Tomás Recio, J. Rafael Sendra |
| 1997 | A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. Robert M. Corless, Patrizia M. Gianni, Barry M. Trager |
| 1997 | A Sequence of Series for the Lambert W Function. Robert M. Corless, David J. Jeffrey, Donald E. Knuth |
| 1997 | A Solution to the Extended GCD Problem with Applications. Arne Storjohann |
| 1997 | A Survey of the Theorema Project. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru |
| 1997 | A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision. Michael B. Monagan, Gladys Monagan |
| 1997 | About the Newton Algorithm for Non-Linear Ordinary Differential Equations. Jean Della Dora, Françoise Richard-Jung |
| 1997 | Algorithms and Design for a Second-Order Automatic Differentiation Module. Jason Abate, Christian H. Bischof, Lucas Roh, Alan Carle |
| 1997 | An Algorithm for Computing Exponential Solutions of First Order Linear Differential Systems. Eckhard Pflügel |
| 1997 | An OpenMath 1.0 Implementation. Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt |
| 1997 | Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. Masoud Kavian, R. G. McLenaghan, Keith O. Geddes |
| 1997 | Asymptotically Fast Computation of Subresultants. Daniel Reischert |
| 1997 | Complexity and Uniformity of Elimination in Presburger Arithmetic. Volker Weispfenning |
| 1997 | Computer Evaluation of Cyclicity in Planar Cubic System. Victor F. Edneral |
| 1997 | Computing with Subgroups of Automorphism Groups of Finite Groups. Charles C. Sims |
| 1997 | Constructing Faithful Matrix Representations of Lie Algebras. Willem A. de Graaf |
| 1997 | Decomposing a Permutation into a Conjugated Tensor Product. Sebastian Egner, Markus Püschel, Thomas Beth |
| 1997 | Extraneous Factors in the Dixon Resultant Formulation. Deepak Kapur, Tushar Saxena |
| 1997 | Factoring Polynomials over Algebraic Number Fields via Norms. Mark J. Encarnación |
| 1997 | Families of Ideals in Statistics. Massimo Caboara, Lorenzo Robbiano |
| 1997 | Fast Algorithms for Taylor Shifts and Certain Difference Equations. Joachim von zur Gathen, Jürgen Gerhard |
| 1997 | Fast Polynomial Factorization Over High Algebraic Extensions of Finite Fields. Erich L. Kaltofen, Victor Shoup |
| 1997 | Finding Relations Among the Roots of an Irreducible Polynomial. John McKay, Richard Stauduhar |
| 1997 | Fraction-free Computation of Catrix Padé Systems. Bernhard Beckermann, Stanley Cabay, George Labahn |
| 1997 | Further Analysis of Coppersmith's Block Wiedemann Algorithm for the Solution of Sparse Linear Systems (Extended Abstract). Gilles Villard |
| 1997 | GCD of Polynomials and Bezout Matrices. Luca Gemignani |
| 1997 | Guarded Expressions in Practice. Andreas Dolzmann, Thomas Sturm |
| 1997 | Integral Closure of Noetherian Rings. Patrizia M. Gianni, Barry M. Trager |
| 1997 | Integration of the Signum, Piecewise and Related Functions. David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich |
| 1997 | Lazy Multiplication of Formal Power Series. Joris van der Hoeven |
| 1997 | Meijer G Functions Representations. Kelly Roach |
| 1997 | Minimal Completely Factorable Annihilators. Sergei A. Abramov, Eugene V. Zima |
| 1997 | Moduli Spaces and Symmetry Loci of Polynomial Maps. Masayo Fujimura, Kiyoko Nishizawa |
| 1997 | Network Servers for Symbolic Mathematics. Richard J. Fateman |
| 1997 | On Computing the Dual of a Plane Algebraic Curve. Emil J. Volcheck |
| 1997 | On Randomized Lanczos Algorithms. Wayne Eberly, Erich L. Kaltofen |
| 1997 | On Symmetric Powers of Differential Operators. Manuel Bronstein, Thom Mulders, Jacques-Arthur Weil |
| 1997 | On the Computation of Conjugacy Classes in Permutation Groups. John J. Cannon, Bernd Souvignier |
| 1997 | On the Worst-case Complexity of Integer Gaussian Elimination. Xin Gui Fang, George Havas |
| 1997 | Polynomial Real Root Isolation using Approximate Arithmetic. Jeremy R. Johnson, Werner Krandick |
| 1997 | Polynomial Time Algorithms for Modules over Finite Dimensional Algebras. Alexander L. Chistov, Gábor Ivanyos, Marek Karpinski |
| 1997 | Practical Integer Division with Karatsuba Complexity. Tudor Jebelean |
| 1997 | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997 Bruce W. Char, Paul S. Wang, Wolfgang Küchlin |
| 1997 | Rankings of Partial Derivatives. C. J. Rust, Gregory J. Reid |
| 1997 | Rectilinear p-Piercing Problems. Doron Nussbaum |
| 1997 | Relative Resolvents and Partition Tables in Galois Group Computations. Antoine Colin |
| 1997 | Resolvent Computations by Resultants Without Extraneous Powers. Frédéric Lehobey |
| 1997 | SIMATH - a Computer Algebra System for Number Theoretic Applications. Horst Günter Zimmer |
| 1997 | Stabilization of Polynomial Systems Solving with Groebner Bases. Hans J. Stetter |
| 1997 | Symbolic Computation of Object/Image Equations. Peter F. Stiller |
| 1997 | Symbolic Manipulation of Integrodifferential Expressions and Factorization of Linear Ordinary Differential Operators over Transcendental Extensions of a Differential Field. Serguei P. Tsarev |
| 1997 | Tensor Product Decomposition and Other Algorithms for Representations of Large Simple Lie Algebras. Andrej A. Zolotykh |
| 1997 | The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm. Mark J. Encarnación |
| 1997 | The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. Qiang Li, Yike Guo, Tetsuo Ida, John Darlington |
| 1997 | The Structure of Sparse Resultant Matrices. Ioannis Z. Emiris, Victor Y. Pan |
| 1997 | Uniform Quantifier Elimination and Constraint Query Processing. Saugata Basu |