Skip to Main content Skip to Navigation
Conference papers

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic

Nathalie Revol 1 
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Interval arithmetic is a tool of choice for numerical software verification, as every result computed using this arithmetic is self-verified: every result is an interval that is guaranteed to contain the exact numerical values, regardless of uncertainty or roundoff errors. From 2008 to 2015, interval arithmetic underwent a standardization effort , resulting in the IEEE 1788-2015 standard. The main features of this standard are developed: the structure into levels, from the mathematic model to the implementation on computers; the possibility to accommodate different mathematical models, called flavors; the decoration system that keeps track of relevant events during the course of a calculation; the exact dot product for point (as opposed to interval) vectors.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Nathalie Revol Connect in order to contact the contributor
Submitted on : Tuesday, July 11, 2017 - 10:04:52 AM
Last modification on : Monday, May 16, 2022 - 4:58:02 PM
Long-term archiving on: : Wednesday, January 24, 2018 - 9:21:26 PM


Files produced by the author(s)




Nathalie Revol. Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. 10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. pp.14-21, ⟨10.1007/978-3-319-63501-9⟩. ⟨hal-01559955⟩



Record views


Files downloads