HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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. We aim at always 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 :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278430
Contributor : Jean-Michel Muller Connect in order to contact the contributor
Submitted on : Tuesday, May 13, 2008 - 11:01:09 AM
Last modification on : Friday, February 4, 2022 - 3:18:55 AM
Long-term archiving on: : Friday, September 28, 2012 - 2:35:22 PM

File

power-journalV9.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : ensl-00278430, version 1

Collections

Citation

Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. 2008. ⟨ensl-00278430⟩

Share

Metrics

Record views

156

Files downloads

288