Volume 25, Number 1, January 1998
Volume 25, Number 2, February 1998 Special Issue on Graphical User Interfaces and Protocols
- Norbert Kajler, Neil Soiffer:
A Survey of User Interfaces for Computer Algebra Systems.
- Yves Bertot, Laurent Théry:
A Generic Approach to Building User Interfaces for Theorem Provers.
- Michael B. Hayden, Edmund A. Lamagna:
NEWTON: An Interactive Environment for Exploring Mathematics.
- Simon Gray, Norbert Kajler, Paul S. Wang:
Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions.
- Helen Lowe, Alan Bundy, Duncan McLean:
The Use of Proof Planning for Co-operative Theorem Proving.
- J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas:
Interactive Theorem Proving: An Empirical Study of User Activity.
Volume 25, Number 3, March 1998
- Thomas Yan:
The Geobucket Data Structure for Polynomials.
- Dongming Wang:
Decomposing Polynomial Systems into Simple Systems.
- Jan Snellman:
Gröbner Bases and Normal Forms in a Subring of the Power Series Ring on Countably Many Variables.
- Bruno Salvy, John Shackell:
Symbolic Asymptotics: Functions of Two Variables, Implicit Functions.
- L. J. Rylands, D. E. Taylor:
Matrix Generators for the Orthogonal Groups.
- Lajos Hajdu, T. Herendi:
Explicit Bounds for the Solutions of Elliptic Equations with Rational Coefficients.
Volume 25, Number 4, April 1998 Special Issue on Order-Sorted Rewriting
Volume 25, Number 5, May 1998
Volume 25, Number 6, June 1998
Last update Sat May 18 20:43:44 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page