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