Volume 32,
Number 1/2,
July/August 2001
Selected St. Andrews' ISSAC/Calculemus 2000 Contributions
- Tomás Recio, Manfred Kerber:
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors.
1-2 BibTeX
- Henk Barendregt, Arjeh M. Cohen:
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants.
3-22 BibTeX
- Franz Binder, Peter Mayr:
Algorithms for Finite Near-rings and their N-groups.
23-38 BibTeX
- Gábor Bodnár, Josef Schicho:
Two Computational Techniques for Singularity Resolution.
39-54 BibTeX
- Olga Caprotti, Martijn Oostdijk:
Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles.
55-70 BibTeX
- Jean-Guillaume Dumas, B. David Saunders, Gilles Villard:
On Efficient Sparse Integer Matrix Smith Normal Form Computations.
71-99 BibTeX
- Edward L. Green, Lenwood S. Heath, Craig A. Struble:
Constructing Homomorphism Spaces and Endomorphism Rings.
101-117 BibTeX
- Günter Landsmann, Josef Schicho, Franz Winkler:
The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares.
119-132 BibTeX
- Izumi Miyamoto:
Computing Isomorphisms of Association Schemes and its Application.
133-141 BibTeX
- Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec:
Commutative Algebra in the Mizar System.
143-169 BibTeX
Volume 32,
Number 3,
September 2001
Volume 32,
Number 4,
September 2001
Calculemus-99:
Integrating Computation and Deduction
Volume 32,
Number 5,
November 2001
Volume 32,
Number 6,
December 2001
Effective Methods in Rings of Differential Operators
Copyright © Sun May 17 00:11:25 2009
by Michael Ley (ley@uni-trier.de)
