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
