Differential algebra is a field of mathematics that attempts to use methods from abstract algebra to study solutions of systems of polynomial nonlinear ordinary and partial differential equations. It is a generalization of classical commutative algebra and is primarily based on the work of Ritt and Kolchin. Mansfield gave a terminating algorithm for differential Gröbner bases, which are differential analogs of polynomial Gröbner bases.