Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Abstract : 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.
Type de document :
Article dans une revue
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. 〈10.1145/1644001.1644005〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00388501
Contributeur : Vincent Lefèvre <>
Soumis le : mardi 26 mai 2009 - 18:03:21
Dernière modification le : vendredi 29 septembre 2017 - 13:44:03

Identifiants

Collections

Citation

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, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. 〈10.1145/1644001.1644005〉. 〈inria-00388501〉

Partager

Métriques

Consultations de la notice

181