Vol. 4, 1989

- On the Generic Zero and Chow Basis of an Irreducible Ascending Set,
*Wu Wen-Tsun* - On the Chemical Equilibrium Problem and Equations-Solving,
*Wu Wen-Tsun* - On a Projection Theorem of Quasi-Varieties in Elimination Theory,
*Wu Wen-Tsun* - A Mechanization Method of Geometry and its Applications 6. Solving Inverse Kinematic Equations of PUMA-Type Robots (A Sketch),
*Wu Wen-Tsun* - Automatic Implicitization of Parametric Objects,
*Li Zi-Ming* - An Algorithm on Finding All Isolated Zeros of Polynomial Equations,
*Liu Zhuo-Jun* - On the Resultant Formula for Mechanical Theorem Proving,
*Shi He* - The Pole Assignment of Linear Systems,
*Shi He* - On Computing the Multiplicity of Root,
*Wu Jing-Chun and Wu Wen-Da* - Mechanical Theorem Proving in Differential Geometry I. Space Curves,
*Chou Shang-Ching and Gao Xiao-Shan* - A Method for Determining the Finite Basis of an Ideal from Its Characteristic Set with Application to Irreducible Decomposition of Algebraic Varieties,
*Wang Dong-Ming*