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