The Krawczyk operator and Kantorovich's theorem (Q2638725)

The paper deals with the comparison of Kantorovich's test for the existence of a solution of a system of nonlinear equations of the form \(F(x)=0\) and a modification of Moore's existence test based on the Krawczyk operator. The modification involves a suitable slope instead of the Jacobian matrix \(F'\) and is proved to require less computational work while still satisfying Moore's existence theorem.