IEEE Standard for Interval Arithmetic

Citation:
Revol, Nathalie, Baker R. Kearfott, William Edmonson, Wolff J. von Gudenberg, Guillaume Melquiond, George Corliss, Hend Dawood, Christian Keil, Michel Hack, Ned Nedialkov et al. "IEEE Standard for Interval Arithmetic." IEEE Std 1788-2015 (2015): 1-97.

Abstract:

This standard specifies basic interval arithmetic (IA) operations selecting and following one of the commonly used mathematical interval models. This standard supports the IEEE 754 floating point formats of practical use in interval computations. Exception conditions are defined, and standard handling of these conditions is specified. Consistency with the interval model is tempered with practical considerations based on input from representatives of vendors, developers and maintainers of existing systems. The standard provides a layer between the hardware and the programming language levels. It does not mandate that any operations be implemented in hardware. It does not define any realization of the basic operations as functions in a programming language.

Notes:

Scope:
This standard specifies basic interval arithmetic (IA) operations selecting and following one of the commonly used mathematical interval models. This standard supports the IEEE-754/2008 floating point types of practical use in interval computations. Exception conditions will be defined and standard handling of these conditions will be specified. Consistency with the model is tempered with practical considerations based on input from representatives of vendors and owners of existing systems.The standard provides a layer between the hardware and the programming language levels. It does not mandate that any operations be implemented in hardware. It does not define any realization of the basic operations as functions in a programming language.

Purpose:
The standard will improve the availability of reliable computing in modern hardware and software environments by defining the basic building blocks needed for performing interval arithmetic. There are presently many systems for interval arithmetic in use, and lack of a standard inhibits development, portability, and ability to verify correctness of codes.

Related External Link

doi:

10.1109/IEEESTD.2015.7140721

url:

https://ieeexplore.ieee.org/document/7140721

Electronic ISBN:

978-0-7381-9720-3