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

https://hal.inria.fr/hal-01559955
Contributor : Nathalie Revol <>
Submitted on : Tuesday, July 11, 2017 - 10:04:52 AM
Last modification on : Saturday, November 23, 2019 - 1:20:42 AM
Long-term archiving on: : Wednesday, January 24, 2018 - 9:21:26 PM

File

NRevol-NSV17-HAL.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

498

Files downloads

1017