Volume 25, Number 1, January 1998
Applications
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.
127-159

- Yves Bertot, Laurent Théry:
A Generic Approach to Building User Interfaces for Theorem Provers.
161-194

- Michael B. Hayden, Edmund A. Lamagna:
NEWTON: An Interactive Environment for Exploring Mathematics.
195-212

- Simon Gray, Norbert Kajler, Paul S. Wang:
Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions.
213-237

- Helen Lowe, Alan Bundy, Duncan McLean:
The Use of Proof Planning for Co-operative Theorem Proving.
239-261

- J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas:
Interactive Theorem Proving: An Empirical Study of User Activity.
263-284

Volume 25, Number 3, March 1998
- Thomas Yan:
The Geobucket Data Structure for Polynomials.
285-293

- Dongming Wang:
Decomposing Polynomial Systems into Simple Systems.
295-314

- Jan Snellman:
Gröbner Bases and Normal Forms in a Subring of the Power Series Ring on Countably Many Variables.
315-328

- Bruno Salvy, John Shackell:
Symbolic Asymptotics: Functions of Two Variables, Implicit Functions.
329-349

- L. J. Rylands, D. E. Taylor:
Matrix Generators for the Orthogonal Groups.
351-360

- Lajos Hajdu, T. Herendi:
Explicit Bounds for the Solutions of Elliptic Equations with Rational Coefficients.
361-366

Applications
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