"An elimination theory for differential algebra" - читать интересную книгу автора (Seidenberg A.)