Vol. 9, March, 1993

• On a Hybrid Method of Polynomial Equations Solving, Wentsun Wu
• Automated Production of Traditional Proofs for Theorems in Euclidean Geometry II. Constructive Geometry Statements, S. C. Chou, X. S. Gao & J. Z. Zhang
• On the Isomorphisms of Algebraic Curves (I), Hong Du
• A Remark on the Dimension Theorm of Differential Varieties, X. S. Gao & S. C. Chou
• A Special Case of Wu's Method, Jin-zhao Wu
• The Construction of the General Solution for Systems of Non-homogeneous LPDE by Algebraic Geometry Method, H. Q. Zhang, S. J. Yi & H. Feng
• A Method for Study of the Multiparameter Qunatum Groups, He Shi
• A Qunatum Group with Five Parameters, He Shi
• An Efficient Decomposition Algorithm for Geometry Theorem Proving without Factorization, L. Yang, J. Z. Zhang & X. R. Hou