HAL - INRIA :: [inria-00103655, version 1] MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.

inria-00103655, version 1

MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.

Laurent Fousse^a^, 1, Guillaume Hanrot ()^b^, 1, Vincent Lefèvre^b^, 1, Patrick Pélissier^b^, 1, Paul Zimmermann^b^, 1

ACM Transactions on Mathematical Software 33, 2 (2007) article 13

Résumé : This paper presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP library. Its particularity is to extend to arbitrary-precision ideas from the IEEE 754 standard, by providing correct rounding and exceptions. We demonstrate how these strong semantics are achieved -- with no significant slowdown with respect to other arbitrary-precision tools -- and discuss a few applications where such a library can be useful.

a – Université Henri Poincaré - Nancy I
b – INRIA
1 : CACAO (Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs) (INRIA Lorraine - LORIA)
CNRS : UMR7503 – INRIA – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine

inria-00103655, version 1
http://hal.inria.fr/inria-00103655
oai:hal.inria.fr:inria-00103655
Contributeur : Guillaume Hanrot <>
Soumis le : Mercredi 4 Octobre 2006, 18:34:21
Dernière modification le : Vendredi 6 Mai 2011, 14:48:01

Voir la fiche détaillée

Documents associés

DOI : 10.1145/1236463.1236468

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-00103655"><analytic>
<author><persName><forename>Laurent</forename><surname>Fousse</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">CACAO (Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs)</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine</orgName>
</affiliation>
</author>
<author><persName><forename>Guillaume</forename><surname>Hanrot</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">CACAO (Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs)</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine</orgName>
</affiliation>
</author>
<author><persName><forename>Vincent</forename><surname>Lefèvre</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">CACAO (Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs)</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine</orgName>
</affiliation>
</author>
<author><persName><forename>Patrick</forename><surname>Pélissier</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">CACAO (Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs)</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine</orgName>
</affiliation>
</author>
<author><persName><forename>Paul</forename><surname>Zimmermann</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">CACAO (Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs)</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine</orgName>
</affiliation>
</author>
<title type="main" level="a">MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.</title></analytic><monogr><title level="j" type="main">ACM ACM Transactions on Mathematical Software</title><imprint><publisher>ACM</publisher><biblScope type="publicationDate">2007-00-00</biblScope><biblScope type="vol">33</biblScope><biblScope type="issue">2</biblScope><biblScope type="pp">article 13</biblScope></imprint></monogr><idno type="doi">10.1145/1236463.1236468</idno><idno type="HALid">http://hal.inria.fr/inria-00103655</idno></biblStruct>
</listBibl>
</listBibl>