Proving the existence of zeros using the topological degree and interval arithmetic
The paper is devoted to the computationally reliable tests for existence of solutions to systems of nonlinear equations. The new existence test is more general than the familiar ones and can be applied on larger boxes, as demonstrated on numerical examples.
scientific article; zbMATH DE number 5121437