Volume 32; Issue 1-2

Journal of Symbolic Computation

Volume 32; Issue 1-2
1

Algorithms for Finite Near-rings and theirN-groups

Franz Binder, Peter Mayr
Journal:
Journal of Symbolic Computation
Year:
2001
Language:
english
File:
PDF, 337 KB
english, 2001
2

Computing Isomorphisms of Association Schemes and its Application

Izumi Miyamoto
Journal:
Journal of Symbolic Computation
Year:
2001
Language:
english
File:
PDF, 270 KB
english, 2001
4

Two Computational Techniques for Singularity Resolution

Gábor Bodnár, Josef Schicho
Journal:
Journal of Symbolic Computation
Year:
2001
Language:
english
File:
PDF, 356 KB
english, 2001
6

Constructing Homomorphism Spaces and Endomorphism Rings

Edward L. Green, Lenwood S. Heath, Craig A. Struble
Journal:
Journal of Symbolic Computation
Year:
2001
Language:
english
File:
PDF, 364 KB
english, 2001
8

Commutative Algebra in the Mizar System

Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec
Journal:
Journal of Symbolic Computation
Year:
2001
Language:
english
File:
PDF, 369 KB
english, 2001
9

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles

Olga Caprotti, Martijn Oostdijk
Journal:
Journal of Symbolic Computation
Year:
2001
Language:
english
File:
PDF, 546 KB
english, 2001