Journal of Symbolic Computation, Volume 23, 1997

Volume 23, Number 1, January 1997

• Robert Nieuwenhuis, Albert Rubio: Paramodulation with Built-in AC-Theories and Symbolic Constraints. 1-21
• Christopher Lynch: Oriented Equational Logic Programming is Complete. 23-45
• Adel Bouhoula: Automated Theorem Proving by Test Set Induction. 47-77
• Yuichi Kaji, Toru Fujiwara, Tadao Kasami: Solving a Unification Problem under Constrained Substitutions Using Tree Automata. 79-117
• B. M. Brown, Michael S. P. Eastham, D. K. R. McCormack: New Algorithm for Computing the Asymptotic Solutions of a Class of Linear Differential Systems. 119-131

Volume 23, Number 2/3, February/March 1997

• Laureano González-Vega: Implicitization of Parametric Curves and Surfaces by Using Multidimensional Newton Formulae. 137-151
• Thomas W. Sederberg, Ron Goldman, Hang Du: Implicitizing Rational Curves by the Method of Moving Algebraic Curves. 153-175
• Hoon Hong: Implicitization of Nested Circular Curves. 177-189
• J. Rafael Sendra, Franz Winkler: Parametrization of Algebraic Curves over Optimal Field Extensions. 191-207
• Mark van Hoeij: Rational Parametrizations of Algebraic Curves Using a Canonical Divisor. 209-227
• Michal Mnuk: An Algebraic Approach to Computing Adjoint Curves. 229-240
• Tomás Recio, J. Rafael Sendra: Real Reparametrizations of Real Curves. 241-254
• Martin Peternell, Helmut Pottmann: Computing Rational Parametrizations of Canal Surfaces. 255-266
• Enrique Arrondo, Juana Sendra, J. Rafael Sendra: Parametric Generalized Offsets to Hypersurfaces. 267-285
• Christoph M. Hoffmann, Robert Joan-Arinyo: Symbolic Constraints in Constructive Geometric Constraint Solving. 287-299
• Rida T. Farouki: Conic Approximation of Conic Offsets. 301-313
• Chandrajit L. Bajaj, Guoliang Xu: Spline Approximations of Real Algebraic Surfaces. 315-333

Volume 23, Number 4, April 1997

• Eugene M. Luks, Ferenc Rakoczi, Charles R. B. Wright: Some Algorithms for Nilpotent Permutation Groups. 335-354
• Hoon Hong: Subresultants Under Composition. 355-365
• Amy P. Felty, Laurent Théry: Interactive Theorem Proving with Temporal Logic. 367-397
• Alfons Geser: Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems. 399-411

• Sébastien Veigneau: SP, a Package for Schubert Polynomials Realized with the Computer Algebra System. MAPLE. 413-425
• Robert M. Corless, David J. Jeffrey, Michael B. Monagan, Pratibha: Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management. 427-443

Volume 23, Number 5/6, May/June 1997

• Beatrice Amrhein, Oliver Gloor, Roman Maeder: Visualizations for Mathematics Courses Based on a Computer Algebra System. 447-452
• Nigel Boston: A Use of Computers to Teach Group Theory and Introduce Students to Research. 453-458
• John J. Cannon, Catherine Playoust: Using the Magma Computer Algebra System in Abstract Algebra Courses. 459-484
• Robert M. Corless, David J. Jeffrey: Scientific Computing: One Part of the Revolution. 485-495
• David Pokrass Jacobs: A Course in Computational Nonassociative Algebra. 497-502
• Erich Kaltofen: Teaching Computational Abstract Algebra. 503-515
• Elizabeth L. Mansfield, Peter A. Clarkson: Applications of the Differential Algebra Package diffgrob2 to Classical Symmetries of Differential Equations. 517-533
• Michael B. Monagan: Worksheets and Notebooks: Can We Teach Mathematical Algorithms with Them? 535-549
• Nicolas Robidoux: Computer Algebra and Interpolation: A Lesson Plan. 551-576
• Gary J. Sherman: Trying to Do Group Theory with Undergraduates and Computers. 577-587
• William Y. Sit: Mathematica Notebooks for a Conventional Differential Equations Course. 589-623