@misc{indiciaeca4a49d28c32, title = {From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition}, author = {Kurt Mehlhorn and Michael Sagraloff and Pengming Wang}, year = {2014}, url = {https://arxiv.org/abs/1301.4870}, note = {Source identifier: 1301.4870} }