Interval arithmetic

Interval arithmetic is a specific type of computer arithmetic for (mathematical) intervals.^[1][2][3] It is mainly used for the automated detection of errors. There is a value, which isn't known exactly, but which can be given by an interval: the value is known to be inside the interval. There's a function to calculate the error. This function should be given the unknown value, but instead can only be given the interval. The result is a function which will map intervals.

Interval arithmetic can be used to treat rounding errors, or to treat insecurities with measurements: Each measurement has a certain error, which cannot be determined exactly.

1. ↑ Mayer, G. (2017). Interval analysis: and automatic result verification. Walter de Gruyter GmbH & Co KG.
2. ↑ Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to Interval Analysis. Society for Industrial and Applied Mathematics.
3. ↑ Alefeld, G., & Mayer, G. (2000). Interval analysis: theory and applications. Journal of Computational and Applied Mathematics, 121(1-2), 421-464.