An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator

Guoliang Hou, Shugong Zhang. An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator. J. Computational Applied Mathematics, 359:145-152, 2019. [doi]

Abstract

Abstract is missing.