"Solving systems of algebraic equations (ACM SIGSAM 2001)" - читать интересную книгу автора (Lazard.)