Communication Dans Un Congrès Année : 2026

The GNU libc atanh is correctly rounded

Résumé

We prove the binary64 hyperbolic arc-tangent function from GNU libc 2.43, released end of January 2026, is correctly rounded.

Fichier principal
Vignette du fichier
atanh.pdf (290.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05591661 , version 1 (14-04-2026)

Licence

Identifiants

  • HAL Id : hal-05591661 , version 1

Citer

Paul Zimmermann. The GNU libc atanh is correctly rounded. ARITH 2026 - 33rd IEEE International Symposium on Computer Arithmetic, Jun 2026, Fulda, Germany. ⟨hal-05591661⟩
1560 Consultations
81 Téléchargements

Partager

  • More