SEARCH

SEARCH BY CITATION

Abstract

Existence or fixed point theorems, combined with interval analytic methods, provide a means to computationally prove the existence of a zero of a nonlinear system in a given interval vector. One such test is based on Borsuk's existence theorem. We discuss preconditioning techniques that are aimed at improving the effectiveness of this test. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)