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
  

Last update Wed May 22 18:01:35 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page