Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Mathematical Software Année : 2010

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Christoph Lauter
Vincent Lefèvre
Nicolas Louvet
Jean-Michel Muller

Résumé

We introduce several algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available. For bounded, yet very large values of the exponent, we aim at obtaining correctly-rounded results in round-to-nearest mode, that is, our algorithms return the floating-point number that is nearest the exact value.
Fichier non déposé

Dates et versions

inria-00388501 , version 1 (26-05-2009)

Identifiants

Citer

Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩. ⟨inria-00388501⟩
181 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More