The CORE-MATH Project - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

The CORE-MATH Project


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.17 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

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




Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu. The CORE-MATH Project. ARITH 2022 - 29th IEEE Symposium on Computer Arithmetic, Sep 2022, virtual, France. pp.26-34, ⟨10.1109/ARITH54963.2022.00014⟩. ⟨hal-03721525v3⟩
924 View
856 Download



Gmail Mastodon Facebook X LinkedIn More