Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schmitt, Susanne Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Burnikel, C., Funke, S., Mehlhorn, K., Schirra, S., & Schmitt, S. (2009). A Separation Bound for Real Algebraic Expressions. Algorithmica, 55, 14-28. doi:10.1007/s00453-007-9132-4.