C. Andrew Neff Specified Precision Polynomial Root Isolation Is in NC. 429-463 1994 48 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss48.html#Neff94 https://doi.org/10.1016/S0022-0000(05)80061-3