Bounding the zeros of an interval equation (Q1029384)

The authors study an interval equation determined by an interval extension of a continuously differentiable function. An interval method of Newton type is proposed for finding reliably and with certainty all its zeros within a given interval. The underlying idea is to isolate with certainty the endpoints of each interval zero. Some theoretical properties of the method are stated and proved. Moreover, an algorithmic realization is proposed and applied to a set of twelve test functions. The corresponding numerical results are also presented.