Sagraloff, Michael Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Sagraloff, M. (2014). On the Complexity of the Descartes Method when Using Approximate Arithmetic. Journal of Symbolic Computation, 65, 79-110. doi:10.1016/j.jsc.2014.01.005.