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 ¨C 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