"Introduction to cylindrical algebraic decomposition" - читать интересную книгу автора (Jirstrand M.)