The CORE-MATH Project - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

The CORE-MATH Project

Résumé

The CORE-MATH project aims at providing opensource mathematical functions with correct rounding that can be integrated into current mathematical libraries. This article demonstrates the CORE-MATH methodology on two functions: the binary32 power function (powf) and the binary64 cube root function (cbrt). CORE-MATH already provides a full set of correctly rounded C99 functions for single precision (binary32). These functions provide similar or in some cases up to threefold speedups with respect to the GNU libc mathematical library, which is not correctly rounded. This work offers a prospect of the mandatory requirement of correct rounding for mathematical functions in the next revision of the IEEE-754 standard.
Fichier principal
Vignette du fichier
core-math-final.pdf (518.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03721525 , version 1 (12-07-2022)
hal-03721525 , version 2 (13-07-2022)
hal-03721525 , version 3 (21-07-2022)

Identifiants

  • HAL Id : hal-03721525 , version 2

Citer

Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu. The CORE-MATH Project. ARITH 2022 - 29th IEEE Symposium on Computer Arithmetic, Sep 2022, virtual, France. ⟨hal-03721525v2⟩
1042 Consultations
933 Téléchargements

Partager

More