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