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.
No takes yet. Share an insight, caveat, or question.
Robert E. Moore (1977) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: