Journal of symbolic computation

• 

  Año 2003, Vol. 36, Número 5

  • Constructing Lie algebras of first order differential operators

    Jan Draisma

    págs. 685-698

    

  • Revisiting the <f>¿</f>-basis of a rational ruled surface

    Wenping Wang, Falai Chen

    págs. 699-716

    

  • Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry

    Yihong Wu, Hongbo Li

    págs. 717-762

    

  • Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry

    Yihong Wu, Hongbo Li

    págs. 763-809

    

  • Implicitization of differential rational parametric equations

    X. S. Gao

    págs. 811-824