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*