External Links

    Journal: Journal of Symbolic Computation

    Volume 36, Issue 5

    685 -- 698Jan Draisma. Constructing Lie algebras of first order differential operators
    699 -- 716Falai Chen, Wenping Wang. Revisiting the [mu]-basis of a rational ruled surface
    717 -- 762Hongbo Li, Yihong Wu. Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry
    763 -- 809Hongbo Li, Yihong Wu. Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry
    811 -- 824Xiao-Shan Gao. Implicitization of differential rational parametric equations
    runs on