1. Continued fraction real root isolation using the Hong root bound;Collins;J. Symb. Comput.,2016
2. Polynomial real root isolation using Descartes' rule of signs;Collins,1976
3. On the computing time of the continued fractions method;Collins;J. Symb. Comput.,2012
4. Almost tight recursion tree bounds for the Descartes method;Eigenwillig,2006
5. An Introduction to the Theory of Numbers;Hardy,1960