An Algorithmic Theory of Reduction of Differential Polynomials System

• 微分多项式系统的约化算法理论