A verification method for solutions of nonsmooth equations
The author proposes a verification method for nonsmooth equations (nonlinear equations with nondifferentiable operators) based on a generalization of the Krawczyk operator and a semi-local convergence theorem.
scientific article; zbMATH DE number 1043131
scientific article