Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2008

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

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. 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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
power-journalV9.pdf (202.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-00278430 , version 1 (13-05-2008)

Identifiants

  • HAL Id : ensl-00278430 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More