An optimization of Seidenberg's elimination algorithm in differential algebra
Seidenberg's elimination algorithm computes a projection of the algebraic differential manifold associated with a system of differential polynomials (here with coefficients in an ordinary differential field of characteristic zero).