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