"Quantifier elimination for real closed fields by CAD" - читать интересную книгу автора (Collins.)