Factorisation d’entiers et logarithme discret

Nom du projet

2017AM2IX0186 : Factorisation d’entiers et logarithme discret

Résumé du projet

Des calculs de pires cas pour CORE-MATH ont été réalisés sur EXPLOR, notamment en 2023 ceux des fonctions expm1, exp10 et asin en double précision, et en 2024 ceux de la fonction gamma en double précision. Un pire cas est un nombre flottant x dont la valeur de f(x) contient de nombreux bits identiques après le bit d’arrondi. Ces calculs ont été effectués avec le logiciel BaCSeL. Ces calculs ont permis de valider l’installation du cluster juste après sa mise en service.

En juin 2025, le cluster a été utilisé pour trouver des pires cas des fonctions sinus, cosinus et tangente à l’aide d’un nouvel algorithme, qui sera soumis à la conférence ARITH en 2026 (travail en collaboration avec Tue Ly de chez Google).

Chercheur(s) impliqué(s)

• Emmanuel THOME
• Paul ZIMMERMANN

Figure/Illustration