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 BibTeX
- Andreas Weber:
On Coherence in Computer Algebra.
25-38 BibTeX
- Paolo Di Blasio, Marco Temperini:
Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems.
39-63 BibTeX
- Anthony C. Hearn, Eberhard Schrüfer:
A Computer Algebra System Based on Ordersorted Algebra.
65-77 BibTeX
- Philip S. Santas:
A Type System for Computer Algebra.
79-109 BibTeX
- Hoon Hong, Andreas Neubacher, Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels.
111-132 BibTeX
- A. C. Norman:
Compact Delivery Support for REDUCE.
133-132 BibTeX
- Tudor Jebelean:
A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers.
145-157 BibTeX
- Robert Fournier, Norbert Kajler, Bernard Mourrain:
Visualization of Mathematical Surfaces: The IZIC Server Approach.
159-173 BibTeX
- Gianna Cioni, Attilio Colagrossi, Alfonso Miola:
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.
175-199 BibTeX
- William M. Farmer, Joshua D. Guttman, F. Javier Thayer:
Context in Mathematical Reasoning and Computation.
210-206 BibTeX
- Ricardo Caferra, Michel Herment:
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae.
217-243 BibTeX
- Maria Paola Bonacina, Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover.
245-267 BibTeX
- 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 BibTeX
Volume 19,
Number 4,
April 1995
Volume 19,
Number 5,
May 1995
Volume 19,
Number 6,
June 1995
Copyright © Wed Jun 4 19:15:26 2008
by Michael Ley (ley@uni-trier.de)
