Vol. 5, 1990

• Automation of Theorem-Proving, Wu Wen-Tsun

• On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier-Janet Theory, Wu Wen-Tsun
• A Modified Version of An Algorithm for Solving Multivariate Polynomial System, Huang Yu-Zhen and Wu Wen-Da
• On the Characteristic Set of Elementary Symmetric Polynomial Systems, Liu Zhuo-Jun
• On One Ulam's Fixed Point Problem, Liu Zhuo-Jun
• The Finite Basis of Irreducible Ascending Set, Shi He
• The Robustness of Pole Assignment, Shi He
• A Mechanization Proving of A Group of Space Geometry Problems, Wang Ding-Kang
• Zero Structure Decompositions and the Dimension Theorem, Chou Shang-Ching and Gao Xiao-Shan
• Techniques for Ritt-Wu's Decomposition Algorithm, Chou Shang-Ching and Gao Xiao-Shan
• A Note on the Termination of Zero Decomposition Algorithms, Wang Dong-Ming