default search action
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
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
Real Reparametrizations of Real Curves. 241-254 - Martin Peternell, Helmut Pottmann:
Computing Rational Parametrizations of Canal Surfaces. 255-266 - Enrique Arrondo, Juana 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
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
Scientific Computing: One Part of the Revolution. 485-495 - David Pokrass Jacobs:
A Course in Computational Nonassociative Algebra. 497-502 - Erich L. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: