HAL - INRIA :: [inria-00388501, version 1] Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

inria-00388501, version 1

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Peter Kornerup () ¹, Christoph Lauter () ², Vincent Lefèvre ()^a^, 2, Nicolas Louvet () ², Jean-Michel Muller () ²

Transactions on Mathematical Software 37, 1 (2010) 4:1-4:23

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

a – INRIA
1 : Department of Mathematics and Computer Science (IMADA)
University of Southern Denmark
2 : ARENAIRE (Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme)
INRIA – CNRS : UMR5668 – Université Claude Bernard - Lyon I – École Normale Supérieure - Lyon

inria-00388501, version 1
http://hal.inria.fr/inria-00388501
oai:hal.inria.fr:inria-00388501
Contributeur : Vincent Lefèvre <>
Soumis le : Mardi 26 Mai 2009, 18:03:21
Dernière modification le : Lundi 20 Décembre 2010, 15:50:43

Voir la fiche détaillée

Documents associés

DOI : 10.1145/1644001.1644005

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Articles dans des revues avec comité de lecture</head>
<biblStruct type="article" xml:id="inria-00388501"><analytic>
<author><persName><forename>Peter</forename><surname>Kornerup</surname></persName>
<affiliation>
<orgName type="laboratory">IMADA</orgName>
<orgName type="team">Department of Mathematics and Computer Science</orgName>
<country>DK</country>
<orgName type="institution">University of Southern Denmark</orgName>
</affiliation>
</author>
<author><persName><forename>Christoph</forename><surname>Lauter</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARENAIRE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
</author>
<author><persName><forename>Vincent</forename><surname>Lefèvre</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARENAIRE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
</author>
<author><persName><forename>Nicolas</forename><surname>Louvet</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARENAIRE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Michel</forename><surname>Muller</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARENAIRE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
</author>
<title type="main" level="a">Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic</title></analytic><monogr><title level="j" type="main">ACM Transactions on Mathematical Software</title><imprint><publisher>ACM</publisher><biblScope type="publicationDate">2010-01-00</biblScope><biblScope type="vol">37</biblScope><biblScope type="issue">1</biblScope><biblScope type="pp">4:1-4:23</biblScope></imprint></monogr><idno type="doi">10.1145/1644001.1644005</idno><idno type="HALid">http://hal.inria.fr/inria-00388501</idno></biblStruct>
</listBibl>
</listBibl>