A note on epsilon-inflation

Publikationstyp
Journal Article
Publikationsdatum
1998-11
Sprache
English
Author
Rump, Siegfried M. orcid-logo
Institut
Zuverlässiges Rechnen E-19 
TORE-URI
http://hdl.handle.net/11420/9439
Enthalten in
Reliable Computing 
Volume
10
Issue
3
Start Page
371
End Page
375
Citation
Reliable Computing 10 (3): 371-375 (1998)
Publisher DOI
10.1023/a:1024419816707
Scopus ID
2-s2.0-33847244045
Publisher
University of Louisiana at Lafayette
The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the context. Recently, certain theoretical justifications and optimality results were proved for an epsilon-inflation without absolute term. In this note we show that in currently used interval iterations the epsilon-inflation without absolute term does not serve the purpose it is defined for. A new epsilon-inflation is proposed.
DDC Class
510: Mathematik