Vol. 2, 1987

• A Mechanization Method of Geometry and its Applications 3. Mechanical proving of polynomial inequalities and equations-solving, Wu Wen-Tsun
• On Reducibility Problem in Mechanical Theorem Proving of Elementary Geometries, Wu Wen-Tsun
• Transcendental Functions and Mechanical Theorem Proving in Elementary Geometries, Gao Xiao-Shan
• On the Triangulation for any Finite Polynomial Set (I), Li Zi-Ming
• A Method of Isolating Complex Roots of Polynomials --- An application of Wu-Ritt Principle, Liu Zhou-Jun
• Algorithm of Decomposing High Degree Polynomials, Liu Zhou-Jun
• A Decision Method for Definite Polynomial, Wang Dong-Ming
• Geometry Theorems Proved Mechanically Using Wu's Method---Part on Euclidean Geometry, Wang Dong-Ming and Gao Xiao-Shan