Skip to Main content Skip to Navigation
Conference papers

The CORE-MATH Project

Alexei Sibidanov 1 Paul Zimmermann 2 Stéphane Glondu 2 
2 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Paul Zimmermann Connect in order to contact the contributor
Submitted on : Thursday, July 21, 2022 - 10:49:20 AM
Last modification on : Monday, August 1, 2022 - 8:46:07 AM


Files produced by the author(s)


  • HAL Id : hal-03721525, version 3



Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu. The CORE-MATH Project. ARITH 2022 - 29th IEEE Symposium on Computer Arithmetic, Sep 2022, virtual, France. ⟨hal-03721525v3⟩



Record views


Files downloads