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.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
We prove the binary64 hyperbolic arc-tangent function from GNU libc 2.43, released end of January 2026, is correctly rounded.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-05591661
Soumis le : mardi 14 avril 2026-16:54:34
Dernière modification le : mercredi 15 avril 2026-03:21:28