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