Volume 23, Number 1, January 1997
: Automated Theorem Proving by Test Set Induction.
Volume 23, Number 2/3, February/March 1997
: Implicitization of Parametric Curves and Surfaces by Using Multidimensional Newton Formulae.
: Implicitization of Nested Circular Curves.
Mark van Hoeij
: Rational Parametrizations of Algebraic Curves Using a Canonical Divisor.
: An Algebraic Approach to Computing Adjoint Curves.
Volume 23, Number 4, April 1997
: Subresultants Under Composition.
: Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems.
Volume 23, Number 5/6, May/June 1997
: A Use of Computers to Teach Group Theory and Introduce Students to Research.
Michael B. Monagan
: Worksheets and Notebooks: Can We Teach Mathematical Algorithms with Them?
Gary J. Sherman
: Trying to Do Group Theory with Undergraduates and Computers.
William Y. Sit
: Mathematica Notebooks for a Conventional Differential Equations Course.