Les bibliothèques mathématiques les plus couramment utilisées
(GNU libc, Intel Math library) ne garantissent pas l'arrondi correct pour les
fonctions mathématiques (exp, sin, pow, ...) et les formats du standard IEEE
(binary32, binary64, binary128). Pire, on peut même avoir des résultats
différents quand on change de version d'une même bibliothèque, ou même avec
le même binaire sur des architectures différentes (Intel vs AMD).
Or de nombreux travaux ont montré qu'il était possible de calculer l'arrondi
correct avec un surcoût moyen faible, cf. notamment les bibliothèques
MathLib/Libultim et CRlibm. L'objectif du projet CORE-MATH est, en étroite
collaboration avec les développeurs des bibliothèques mathématiques existantes,
de fournir des implantations avec arrondi correct pour intégration dans ces
bibliothèques. Cela garantira aux utilisateurs une large diffusion et
la maintenance sur le long terme. L'efficacité ne sera pas délaissée avec des
temps comparables, voire meilleurs pour certaines fonctions. L'exposé décrira
les compétences qui seront nécessaires pour mener à bien ce projet, toute
contribution étant la bienvenue.