zbMATH — the first resource for mathematics

Success in epsilon-inflation. (English) Zbl 0848.65035
Alefeld, Götz (ed.) et al., Scientific computing and validated numerics. Proceedings of the international symposium on scientific computing, computer arithmetic and validated numerics SCAN-95, Wuppertal, Germany, September 26-29, 1995. Berlin: Akademie Verlag. Math. Res. 90, 98-104 (1996).
Epsilon-inflation is an efficient tool for verifying and enclosing solutions of mathematical problems of various kinds. It consists in widening an interval quantity \([x]\) to a new one \([x]_\varepsilon\) such that \([x]_\varepsilon\) contains \([x]\) in its interior. The amount of widening is steered by a parameter usually called \(\varepsilon\) which gave the technique the name. It is used to verify the selfmapping property of some given function.
For the entire collection see [Zbl 0836.00039].

65G30 Interval and finite arithmetic