A globally convergent interval method for computing and bounding real roots

In this paper, we extend the interval Newton method to the case where the interval derivative may contain zero. This extended method will isolate and bound all the real roots of a continuously differentiable function in a given interval. In particular, it will bound multiple roots. We prove that the method never fails to converge.