Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn_a_2001_d_Descartes.ps (Any fulltext), 160KB
Mehlhorn, K. (2001). A Remark on the Sign Variation Method for Real Root Isolation.