"Algorithms in Real Algebraic Geometry" - читать интересную книгу автора (Denis S. Arnon, Bruno Buchberger)