A framework for existence tests based on the topological degree and homotopy

The invariance of the topological degree under certain homotopies is used to derive a framework for tests to computationally prove the existence of zeros of nonlinear mappings in . These tests use interval arithmetic to enclose the range of a function over a box and are provably more general than many other tests like the Moore–Kioustelidis test, a test based on the Krawczyk operator, and another degree–based test published recently. A numerical example is included.