Journals in DBLP

J. Symb. Comput.
2006, volume: 41, number: 3-4

1. Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler, Faculty of RISC-Linz
   Bruno Buchberger - A life devoted to symbolic computation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:255-258 [Journal]
   
2. Deepak Kapur
   Preface on the contributed papers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:259-260 [Journal]
   
3. Werner Heiß, Ulrich Oberst, Franz Pauer
   On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:261-284 [Journal]
   
4. Volker Weispfenning
   Comprehensive Gröbner bases and regular rings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:285-296 [Journal]
   
5. Lothar Gerritzen
   Tree polynomials and non-associative Gröbner bases. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:297-316 [Journal]
   
6. F. J. Castro-Jiménez, Jose Maria Ucha-Enríquez
   Gröbner bases and logarithmic D-modules. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:317-335 [Journal]
   
7. Giandomenico Boffi, Fabio Rossi
   Lexicographic Gröbner bases for transportation problems of format r×3×3. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:336-356 [Journal]
   
8. Leonid Bokut, Andrei Vesnin
   Gröbner-Shirshov bases for some braid groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:357-371 [Journal]
   
9. Thomas Beth, Jörn Müller-Quade, Rainer Steinwandt
   Computing restrictions of ideals in finitely generated k-algebras by means of Buchberger's algorithm. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:372-380 [Journal]
   
10. Matthias Baaz, Alexander Leitsch
    Towards a clausal analysis of cut-elimination. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:3-4, pp:381-410 [Journal]
    
11. Koji Nakagawa
    Logicographic symbols. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:3-4, pp:411-434 [Journal]
    
12. Wolfgang Windsteiger
    An automated prover for Zermelo-Fraenkel set theory in Theorema. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:3-4, pp:435-470 [Journal]
    
13. Bruno Buchberger
    Comments on the translation of my PhD thesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:3-4, pp:471-474 [Journal]
    
14. Bruno Buchberger
    Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:3-4, pp:475-511 [Journal]