Vol. 19, December, 2000

• An Algorithm for Solving Partial Differential Parametric Systems, Jimin Wang, Xiao-Shan Gao, 1-10
• Involutive Bases of Partial Differential Polynomial Systems, Yu-Fu Chen and Xiao-Shan Gao, 11-32
• Ordering in Solving Systems of Equations, Kun Jiang, Xiao-Shan Gao, 33-41
• Geometric Constraint Solving with Geometric Transformation, Xiao-Shan Gao, Lei-Dong Huang and Kun Jiang, 42-54
• Automated Theorem Proving in Incidence Geometry – A Bracket Algebra Based Elimination Method,Hongbo Li and Yihong Wu, 55-83
• Automated Theorem Proving in Projective Geometry with Bracket Algebra, Hongbo Li and Yihong Wu, 84-94
• The Lie Model for Euclidean Geometry, Hongbo Li, 95-111
• Determinant Formulas for Inhomogeneous Linear Differential, Difference and q-Difference Equations,Ziming Li, 112-119
• Lecture Notes on Hyperexponential Solutions of Linear Homogeneous Ode’s, Ziming Li, 120-140
• Lecture Notes on Decompositions of Linear Ode’s, Ziming Li, 141-159
• On Bi-Differential Calculus and Dodd-Bullough Equation, Yujie Ma and He Shi, 160-164
• On the Parallel/Distributed Network Computing Environment for Wu’s Method, Dongdai Lin, Yongwei Wu, 165-172