Mehlhorn, Kurt; Sagraloff, Michael A deterministic algorithm for isolating real roots of a real polynomial. (English) Zbl 1207.65048 J. Symb. Comput. 46, No. 1, 70-90 (2011). Reviewer: Temur Jangveladze (Tbilisi) MSC: 65H04 65Y20 26C10 PDFBibTeX XMLCite \textit{K. Mehlhorn} and \textit{M. Sagraloff}, J. Symb. Comput. 46, No. 1, 70--90 (2011; Zbl 1207.65048) Full Text: DOI
Krandick, Werner; Mehlhorn, Kurt New bounds for the Descartes method. (English) Zbl 1158.12001 J. Symb. Comput. 41, No. 1, 49-66 (2006). MSC: 12D10 26C10 PDFBibTeX XMLCite \textit{W. Krandick} and \textit{K. Mehlhorn}, J. Symb. Comput. 41, No. 1, 49--66 (2006; Zbl 1158.12001) Full Text: DOI