A Test for Existence of Solutions to Nonlinear Systems
Robert E. B. Moore · SIAM Journal on Numerical Analysis · 1977
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.