On a quality measure for interval inclusions

Rump, Siegfried M.,Ogita, Takeshi
DOI: https://doi.org/10.1007/s10543-024-01020-1
IF: 1.856
2024-05-14
BIT Numerical Mathematics
Abstract:Verification methods compute intervals which contain the solution of a given problem with mathematical rigour. In order to compare the quality of intervals some measure is desirable. We identify some anticipated properties and propose a method avoiding drawbacks of previous definitions.
mathematics, applied,computer science, software engineering
What problem does this paper attempt to address?