Volume 19,
Number 1-3,
January/February/March 1995
Special Issue:
Design and Implementation of Symbolic Computation Systems
- Bo Yi, Jiafu Xu:
Analogical Type Theory.
3-24
- Andreas Weber:
On Coherence in Computer Algebra.
25-38
- Paolo Di Blasio, Marco Temperini:
Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems.
39-63
- Anthony C. Hearn, Eberhard Schrüfer:
A Computer Algebra System Based on Ordersorted Algebra.
65-77
- Philip S. Santas:
A Type System for Computer Algebra.
79-109
- Hoon Hong, Andreas Neubacher, Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels.
111-132
- A. C. Norman:
Compact Delivery Support for REDUCE.
133-132
- Tudor Jebelean:
A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers.
145-157
- Robert Fournier, Norbert Kajler, Bernard Mourrain:
Visualization of Mathematical Surfaces: The IZIC Server Approach.
159-173
- Gianna Cioni, Attilio Colagrossi, Alfonso Miola:
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.
175-199
- William M. Farmer, Joshua D. Guttman, F. Javier Thayer:
Context in Mathematical Reasoning and Computation.
210-206
- Ricardo Caferra, Michel Herment:
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae.
217-243
- Maria Paola Bonacina, Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover.
245-267
- Angel Díaz, Markus A. Hitz, Erich Kaltofen, A. Lobo, T. Valente:
Process Scheduling in DSC and the Large Sparse Linear Systems Challenge.
269-282
Volume 19,
Number 4,
April 1995
Volume 19,
Number 5,
May 1995
Volume 19,
Number 6,
June 1995
Copyright © Mon Nov 2 21:46:39 2009
by Michael Ley (ley@uni-trier.de)
