Article ID Journal Published Year Pages File Type
4643076 Journal of Computational and Applied Mathematics 2007 6 Pages PDF
Abstract

The invariance of the topological degree under certain homotopies is used to computationally prove the existence of zeros of nonlinear mappings in RnRn. These existence tests use interval arithmetic to enclose the range of a function over a box. We show that our test is more general than a well-known test based on Miranda's theorem, and we show by a numerical example that the new test can be successful on substantially larger boxes.

Related Topics
Physical Sciences and Engineering Mathematics Applied Mathematics
Authors
, , ,