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