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