"Quantifier elimination, sign variation, root isolation. ISSAC89" - читать интересную книгу автора (Collins, Johnson.)