Density results on floating-point invertible numbers
Résumé
Let Fk denote the k-bit mantissa floating-point (FP) numbers. We prove a conjecture of Muller according to which the proportion of numbers in Fk with no FP-reciprocal (for rounding to the nearest element) approaches as k→∞. We investigate a similar question for the inverse square root.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |