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.
Type de document :
Pré-publication, Document de travail
Rapport de recherche LIP n° 2008-15. 23 pages. 2008
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278430
Contributeur : Jean-Michel Muller <>
Soumis le : mardi 13 mai 2008 - 11:01:09
Dernière modification le : vendredi 29 septembre 2017 - 13:44:03
Document(s) archivé(s) le : vendredi 28 septembre 2012 - 14:35:22

Fichier

power-journalV9.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. Rapport de recherche LIP n° 2008-15. 23 pages. 2008. 〈ensl-00278430〉

Partager

Métriques

Consultations de la notice

262

Téléchargements de fichiers

161