A note on Moore's interval test for zeros of nonlinear systems

Abstract

We study relations between Moore's interval test and Miranda's theorem. As an application we combine the (real) Newton iteration with a computational test for Miranda's hypothesis by Moore and Kioustelidis to find an approximate solution to the systemf(x)=0 with specified error bounds.

Zusammenfassung

Es werden Beziehungen zwischen Moores Test und dem Zwischenwertsatz von Miranda hergeleitet. Als Anwendung wird ein konstruktiver Test von Moore und Kioustelidis mit dem reellen Newton-Verfahren kombiniert, um Nullstellennäherungen mit vorgegebener Genauigkeit zu konstruieren.