The MPFI Library: Towards IEEE 1788-2015 Compliance - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

The MPFI Library: Towards IEEE 1788-2015 Compliance

Nathalie Revol


The IEEE 1788-2015 has standardized interval arithmetic. However, few libraries for interval arithmetic are compliant with this standard. The main features of the IEEE 1788-2015 standard are detailed, namely the structure into 4 levels, the possibility to accomodate a new mathematical theory of interval arithmetic through the notion of flavor, and the mechanism of decoration for handling exceptions. These features were not present in the libraries developed prior to the elaboration of the standard. MPFI is such a library: it is a C library, based on MPFR, for arbitrary precision interval arithmetic. MPFI is not (yet) compliant with the IEEE 1788-2015 standard for interval arithmetic: the planned modifications are presented. Some considerations about performance and HPC on interval computations based on this standard, or on MPFI, conclude the paper.
Fichier principal
Vignette du fichier
NRevol-PPAM2019.pdf (264.39 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02162346 , version 1 (21-06-2019)



Nathalie Revol. The MPFI Library: Towards IEEE 1788-2015 Compliance. PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland. pp.353-363, ⟨10.1007/978-3-030-43222-5_31⟩. ⟨hal-02162346⟩
147 View
219 Download



Gmail Facebook Twitter LinkedIn More