Journals in DBLP

J. Symb. Comput.
2001, volume: 31, number: 5

1. Abdelwaheb Ayari, David A. Basin
   A Higher-order Interpretation of Deductive Tableau. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:487-520 [Journal]
   
2. Christopher W. Brown
   Simple CAD Construction and its Applications. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:521-547 [Journal]
   
3. Sharon Brueggeman
   Septic Number Fields Which are Ramified Only at One Small Prime. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:549-555 [Journal]
   
4. Serge Burckel
   Syntactical Methods for Braids of Three Strands. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:557-564 [Journal]
   
5. Eimear Byrne, Patrick Fitzpatrick
   Gröbner Bases over Galois Rings with an Application to Decoding Alternant Codes. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:565-584 [Journal]
   
6. Carlos D'Andrea
   Resultants and Moving Surfaces. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:585-602 [Journal]
   
7. Tony Shaska
   Curves of Genus 2 with (N, N) Decomposable Jacobians. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:603-617 [Journal]
   
8. Jianmin Zheng, Thomas W. Sederberg
   A Direct Approach to Computing the µ-basis of Planar Rational Curves. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:31, n:5, pp:619-629 [Journal]