On the maximum computing time of the bisection method for real root isolation
scientific article; zbMATH DE number 6680380
scientific article