Vol. 8, October, 1992

• On a finiteness Theorem about Optimization Problems, Wu Wen-tsun
• On the Dimension of an Arbitrary Ascending Chain, Xiao-Shan Gao & Shang-Ching Chou
• On the Automatic Derivation of a set of Geometric Formulae, Xiao-Shan Gao & Ding-Kang Wang
• Chern Classes of Algebraic Varieties with Singularities, Shi He
• Some Results on Theorem Proving In Geometry over Finite Fields, Dongdai Lin & Zhuojun Liu
• Resolvent-Based Decision Theories for Nonlinear Control Systems, Shu-Rong Li
• The Primary Decomposition of Zero-Dimensional Polynomial Ideals, Jin-zhao Wu
• Automated Production of Traditional Proofs for Theorems in Euclidean Geometry, Jing-Zhong Zhang, Shang-Ching Chou & Xiao-Shan Gao
• The Eigenvalue Problem Equivalent to Multivariate Polynomial System, Feng Guochen, Wu Wenda & Zhang Shugong