Vol. 3, 1989
- On the Foundation of Algebraic Differential Geometry, Wu Wen-Tsun
- Some Remarks on Characteristic-Set Formation, Wu Wen-Tsun
- A Mechanization Method of Geometry and its Applications, Wu Wen-Tsun and Wu Tian-Jiao
- A Note to the Discriminant Systems for the Unary Equations, Wu Wen-Da
- Mechanical Theorem Proving In Caley-Klein Geometries, Gao Xiao-Shan
- Determinant Polynomial Sequences, Li Zi-Ming
- Processing Polynomial Algebraic Problems by Using SAC-2/ALDES, Liu Zhuo-Jun
- Groebner Bases in Rings of Differential Operators, Chen Guo-Ting
- On Kukles' Conditions for the Existence of a Center, Jin Xiao-Fan and Wang Dong-Ming
- On Wu's Method for Proving Constructive Geometric Theorems, Wang Dongming