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 BibTeX
Christopher Lynch: Oriented Equational Logic Programming is Complete. 23-45 BibTeX
Adel Bouhoula: Automated Theorem Proving by Test Set Induction. 47-77 BibTeX
Yuichi Kaji, Toru Fujiwara, Tadao Kasami: Solving a Unification Problem under Constrained Substitutions Using Tree Automata. 79-117 BibTeX
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 BibTeX

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

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

Applications

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

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