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.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/inria-00388501
Contributor : Vincent Lefèvre <>
Submitted on : Tuesday, May 26, 2009 - 6:03:21 PM
Last modification on : Thursday, February 7, 2019 - 5:05:44 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

342