Answers are grounded in this paper and cite their sources.
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 10 related papers. Consider them for comparative context: