Epsilon-inflation with contractive interval functions (Q1979002)

The paper deals with both theoretical and practical results concerning epsilon-inflation technique which is used for a certain class of functions. The main result is based on Brouwer's fixed point theorem. It gives sufficient conditions under which the inflation procedure stops after finitely many steps so that the inclusion property is satisfied. In this way zeros of various mathematical problems can be verified.