Key points are not available for this paper at this time.
Computationally verifiable sufficient conditions are given for the existence of a solution to a system of nonlinear equations using an interval version of Newton’s method given by R. Krawczyk. A simple modification of the method converges at least linearly with guaranteed error bounds.
Robert E. Moore (Thu,) studied this question.