Journals in DBLP

J. Symb. Comput.
2003, volume: 36, number: 5

1. Jan Draisma
   Constructing Lie algebras of first order differential operators. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:36, n:5, pp:685-698 [Journal]
   
2. Falai Chen, Wenping Wang
   Revisiting the [mu]-basis of a rational ruled surface. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:36, n:5, pp:699-716 [Journal]
   
3. Hongbo Li, Yihong Wu
   Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:36, n:5, pp:717-762 [Journal]
   
4. Hongbo Li, Yihong Wu
   Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:36, n:5, pp:763-809 [Journal]
   
5. Xiao-Shan Gao
   Implicitization of differential rational parametric equations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:36, n:5, pp:811-824 [Journal]