Vol. 6, 1991

• Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics, Wu Wen-tsun
• On a Linear Equations Method of Non-linear Polynomial Equations-Solving, Wu Wen-tsun
• Theorems Proved Automatically Using Wu's Method--Part on Differential Geometry and Mechanics, Chou Shang-Ching & Gao Xiao-Shan
• Computations with Rational Parametric Equations, Chou Shang-Ching, Gao Xiao-Shan, Li Zi-Ming
• On the Theory of Resolvents and Its Applications, Gao Xiao-Shan
• Direct Kinematic Solutions of the Stewart Platform, Huang Yu-zhen & Wu Wen-da
• Mechanical Theorem-Proving of the Local Theory of Surfaces, Li Ziming
• Wu's method and LR Arrays, Lin Dong-Dai
• The Projective Characters of Algebraic Surfaces, Shi He
• The Characters of Hooked Representaion of Symmetric Groups,Shi He
• Some Test Problems on Applications of Wu's Method in Nonlinear Programming Problems, Wu Tian-jiao
• On the Computation of the Well-behaved Basis of Polynomial Ideals, Wu Wen-da