Journals in DBLP

J. Symb. Comput.
2001, volume: 32, number: 1/2

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