Rump, Siegfried M. A note on epsilon-inflation. (English) Zbl 0920.65031 Reliab. Comput. 4, No. 4, 371-375 (1998). It is shown that the epsilon-inflation without absolute term, as used for interval iterations in a current version of PASCAL-XSC, does not provide verification of the existence of solution. A new epsilon-inflation formula is proposed. Reviewer: S.Markov (Sofia) Cited in 15 Documents MSC: 65H05 Numerical computation of solutions to single equations 65G30 Interval and finite arithmetic Keywords:interval iterations; verification algorithms; nonlinear equations; epsilon-inflation Software:ACRITH-XSC; FORTRAN-XSC; C-XSC; PASCAL-XSC PDFBibTeX XMLCite \textit{S. M. Rump}, Reliab. Comput. 4, No. 4, 371--375 (1998; Zbl 0920.65031) Full Text: DOI