1 | -- | 2 | Tomás Recio, Manfred Kerber. Computer Algebra and Mechanized Reasoning: Selected St. Andrews ISSAC/Calculemus 2000 Contributions - Foreword from the Editors |
3 | -- | 22 | Henk Barendregt, Arjeh M. Cohen. Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants |
23 | -- | 38 | Franz Binder, Peter Mayr. Algorithms for Finite Near-rings and their N-groups |
39 | -- | 54 | Gábor Bodnár, Josef Schicho. Two Computational Techniques for Singularity Resolution |
55 | -- | 70 | Olga Caprotti, Martijn Oostdijk. Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles |
71 | -- | 99 | Jean-Guillaume Dumas, B. David Saunders, Gilles Villard. On Efficient Sparse Integer Matrix Smith Normal Form Computations |
101 | -- | 117 | Edward L. Green, Lenwood S. Heath, Craig A. Struble. Constructing Homomorphism Spaces and Endomorphism Rings |
119 | -- | 132 | Günter Landsmann, Josef Schicho, Franz Winkler. The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares |
133 | -- | 141 | Izumi Miyamoto. Computing Isomorphisms of Association Schemes and its Application |
143 | -- | 169 | Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec. Commutative Algebra in the Mizar System |