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*