"An Elimination Theory for Differential Algebra" - читать интересную книгу автора (A Seidenberg)