Vol. 12, November, 1994

• A Brief Introduction to GEOMETRY MASTER, Shang-Ching Chou, Xiao-Shan Gao & Jing-Zhong Zhang
• Automated Production of Readable Proofs for Theorems in Non-Euclidean Geometries, Shang-Ching Chou, Xiao-Shan Gao, Yang Lu & Jing-Zhong Zhang
• Computing Tighter Degree Bounds in Elimination Theory, Li Ziming
• The Chern Characters of Surface with Singularities, Shi He
• The direct kinematic solution of the planar Stewart platform with coplanar ground points, Wen-da Wu and Yu-zhen Huang
• An Algorithm for Decomposing Zero-Dimensional Polynomial Ideals, Wu Jin-Zhao and Du hong
• Factorizing multivariate Polynomials over Algebraic Extension Fields, Zhi Li-hong
• Analysis of Static Equilibrium of a Spatial Three-Spring System, Zhang Yu, Liang Chong-gao & Joseph Duffy
• A Reverse Special Static Force Analysis of a Special Plannar Three-Spring System, Sun Liang, Liang Chong-gao & Liao Qizheng
• Irreducible Sequences of Varities and Appluicaton, Du hong and Wu Jinzhao