Mehlhorn, K., Sagraloff, M., & Wang, P. (2015). From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition. Journal of Symbolic Computation, 66, 34-69. doi:10.1016/j.jsc.2014.02.001.