logcf: An Efficient Tool for Real Root Isolation

Liyun Dai, Bican Xia

This paper revisits an algorithm for isolating real roots of univariate polynomials based on continued fractions. It follows the work of Vincent, Uspen- sky, Collins and Akritas, J…