Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4643076 | Journal of Computational and Applied Mathematics | 2007 | 6 Pages |
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
A. Frommer, F. Hoxha, B. Lang,