InforLorV4, PascalFrancis, Corpus, bibRecord, 000394

MPFR : A multiple-precision binary floating-point library with correct rounding

Identifieur interne : 000394 ( PascalFrancis/Corpus ); précédent : 000393; suivant : 000395

MPFR : A multiple-precision binary floating-point library with correct rounding

Auteurs : Laurent Fousse ; Guillaume Hanrot ; Vincent Lefevre ; Patrick Pelissier ; Paul Zimmermann Loria

Source :

ACM transactions on mathematical software [ 0098-3500 ] ; 2007.

RBID : Pascal:07-0479477

Descripteurs français

Pascal (Inist)
- Norme ISO, Langage C, Normalisation, Sémantique, Arithmétique virgule flottante, Portabilité logiciel, Virgule flottante, Fonction élémentaire.

English descriptors

KwdEn :
- C language, Elementary function, Floating point, Floating point arithmetic, ISO standard, Semantics, Software portability, Standardization.

Abstract

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

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A01	`01`	`1`		`@0 0098-3500`
A02	`01`			`@0 ACMSCU`
A03		`1`		`@0 ACM trans. math. softw.`
A05				`@2 33`
A06				`@2 2`
A08	`01`	`1`	`ENG`	`@1 MPFR : A multiple-precision binary floating-point library with correct rounding`
A11	`01`	`1`		`@1 FOUSSE (Laurent)`
A11	`02`	`1`		`@1 HANROT (Guillaume)`
A11	`03`	`1`		`@1 LEFEVRE (Vincent)`
A11	`04`	`1`		`@1 PELISSIER (Patrick)`
A11	`05`	`1`		`@1 ZIMMERMANN LORIA (Paul)`
A14	`01`			`@1 LORIA, 615 rue du jardin botanique @2 54602 Villers-lès-Nancy @3 FRA @Z 1 aut. @Z 2 aut. @Z 3 aut. @Z 4 aut. @Z 5 aut.`
A20				`@2 E1-E15`
A21				`@1 2007`
A23	`01`			`@0 ENG`
A43	`01`			`@1 INIST @2 16727 @5 354000161463430050`
A44				`@0 0000 @1 © 2007 INIST-CNRS. All rights reserved.`
A45				`@0 1 p.`
A47	`01`	`1`		`@0 07-0479477`
A60				`@1 P`
A61				`@0 A`
A64	`01`	`1`		`@0 ACM transactions on mathematical software`
A66	`01`			`@0 USA`
C01	`01`		`ENG`	`@0 This article 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.`
C02	`01`	`X`		`@0 001D02A05`
C02	`02`	`3`		`@0 001B00B70`
C03	`01`	`X`	`FRE`	`@0 Norme ISO @5 06`
C03	`01`	`X`	`ENG`	`@0 ISO standard @5 06`
C03	`01`	`X`	`SPA`	`@0 Norma ISO @5 06`
C03	`02`	`X`	`FRE`	`@0 Langage C @5 07`
C03	`02`	`X`	`ENG`	`@0 C language @5 07`
C03	`02`	`X`	`SPA`	`@0 Lenguaje C @5 07`
C03	`03`	`X`	`FRE`	`@0 Normalisation @5 08`
C03	`03`	`X`	`ENG`	`@0 Standardization @5 08`
C03	`03`	`X`	`SPA`	`@0 Normalización @5 08`
C03	`04`	`X`	`FRE`	`@0 Sémantique @5 18`
C03	`04`	`X`	`ENG`	`@0 Semantics @5 18`
C03	`04`	`X`	`SPA`	`@0 Semántica @5 18`
C03	`05`	`3`	`FRE`	`@0 Arithmétique virgule flottante @5 19`
C03	`05`	`3`	`ENG`	`@0 Floating point arithmetic @5 19`
C03	`06`	`3`	`FRE`	`@0 Portabilité logiciel @5 20`
C03	`06`	`3`	`ENG`	`@0 Software portability @5 20`
C03	`07`	`X`	`FRE`	`@0 Virgule flottante @5 23`
C03	`07`	`X`	`ENG`	`@0 Floating point @5 23`
C03	`07`	`X`	`SPA`	`@0 Coma flotante @5 23`
C03	`08`	`X`	`FRE`	`@0 Fonction élémentaire @4 CD @5 96`
C03	`08`	`X`	`ENG`	`@0 Elementary function @4 CD @5 96`
C03	`08`	`X`	`SPA`	`@0 Función elemental @4 CD @5 96`
N21				`@1 316`
N44	`01`			`@1 OTO`
N82				`@1 OTO`

Format Inist (serveur)

NO :	PASCAL 07-0479477 INIST
ET :	MPFR : A multiple-precision binary floating-point library with correct rounding
AU :	FOUSSE (Laurent); HANROT (Guillaume); LEFEVRE (Vincent); PELISSIER (Patrick); ZIMMERMANN LORIA (Paul)
AF :	LORIA, 615 rue du jardin botanique/54602 Villers-lès-Nancy/France (1 aut., 2 aut., 3 aut., 4 aut., 5 aut.)
DT :	Publication en série; Niveau analytique
SO :	ACM transactions on mathematical software; ISSN 0098-3500; Coden ACMSCU; Etats-Unis; Da. 2007; Vol. 33; No. 2; E1-E15; Bibl. 1 p.
LA :	Anglais
EA :	This article 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.
CC :	001D02A05; 001B00B70
FD :	Norme ISO; Langage C; Normalisation; Sémantique; Arithmétique virgule flottante; Portabilité logiciel; Virgule flottante; Fonction élémentaire
ED :	ISO standard; C language; Standardization; Semantics; Floating point arithmetic; Software portability; Floating point; Elementary function
SD :	Norma ISO; Lenguaje C; Normalización; Semántica; Coma flotante; Función elemental
LO :	INIST-16727.354000161463430050
ID :	07-0479477

Links to Exploration step

Pascal:07-0479477

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">MPFR : A multiple-precision binary floating-point library with correct rounding</title>
<author><name sortKey="Fousse, Laurent" sort="Fousse, Laurent" uniqKey="Fousse L" first="Laurent" last="Fousse">Laurent Fousse</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Hanrot, Guillaume" sort="Hanrot, Guillaume" uniqKey="Hanrot G" first="Guillaume" last="Hanrot">Guillaume Hanrot</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Lefevre, Vincent" sort="Lefevre, Vincent" uniqKey="Lefevre V" first="Vincent" last="Lefevre">Vincent Lefevre</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Pelissier, Patrick" sort="Pelissier, Patrick" uniqKey="Pelissier P" first="Patrick" last="Pelissier">Patrick Pelissier</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Zimmermann Loria, Paul" sort="Zimmermann Loria, Paul" uniqKey="Zimmermann Loria P" first="Paul" last="Zimmermann Loria">Paul Zimmermann Loria</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">07-0479477</idno>
<date when="2007">2007</date>
<idno type="stanalyst">PASCAL 07-0479477 INIST</idno>
<idno type="RBID">Pascal:07-0479477</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000394</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">MPFR : A multiple-precision binary floating-point library with correct rounding</title>
<author><name sortKey="Fousse, Laurent" sort="Fousse, Laurent" uniqKey="Fousse L" first="Laurent" last="Fousse">Laurent Fousse</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Hanrot, Guillaume" sort="Hanrot, Guillaume" uniqKey="Hanrot G" first="Guillaume" last="Hanrot">Guillaume Hanrot</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Lefevre, Vincent" sort="Lefevre, Vincent" uniqKey="Lefevre V" first="Vincent" last="Lefevre">Vincent Lefevre</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Pelissier, Patrick" sort="Pelissier, Patrick" uniqKey="Pelissier P" first="Patrick" last="Pelissier">Patrick Pelissier</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Zimmermann Loria, Paul" sort="Zimmermann Loria, Paul" uniqKey="Zimmermann Loria P" first="Paul" last="Zimmermann Loria">Paul Zimmermann Loria</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">ACM transactions on mathematical software</title>
<title level="j" type="abbreviated">ACM trans. math. softw.</title>
<idno type="ISSN">0098-3500</idno>
<imprint><date when="2007">2007</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">ACM transactions on mathematical software</title>
<title level="j" type="abbreviated">ACM trans. math. softw.</title>
<idno type="ISSN">0098-3500</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>C language</term>
<term>Elementary function</term>
<term>Floating point</term>
<term>Floating point arithmetic</term>
<term>ISO standard</term>
<term>Semantics</term>
<term>Software portability</term>
<term>Standardization</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Norme ISO</term>
<term>Langage C</term>
<term>Normalisation</term>
<term>Sémantique</term>
<term>Arithmétique virgule flottante</term>
<term>Portabilité logiciel</term>
<term>Virgule flottante</term>
<term>Fonction élémentaire</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">This article 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.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0098-3500</s0>
</fA01>
<fA02 i1="01"><s0>ACMSCU</s0>
</fA02>
<fA03 i2="1"><s0>ACM trans. math. softw.</s0>
</fA03>
<fA05><s2>33</s2>
</fA05>
<fA06><s2>2</s2>
</fA06>
<fA08 i1="01" i2="1" l="ENG"><s1>MPFR : A multiple-precision binary floating-point library with correct rounding</s1>
</fA08>
<fA11 i1="01" i2="1"><s1>FOUSSE (Laurent)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>HANROT (Guillaume)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>LEFEVRE (Vincent)</s1>
</fA11>
<fA11 i1="04" i2="1"><s1>PELISSIER (Patrick)</s1>
</fA11>
<fA11 i1="05" i2="1"><s1>ZIMMERMANN LORIA (Paul)</s1>
</fA11>
<fA14 i1="01"><s1>LORIA, 615 rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</fA14>
<fA20><s2>E1-E15</s2>
</fA20>
<fA21><s1>2007</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>INIST</s1>
<s2>16727</s2>
<s5>354000161463430050</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2007 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>1 p.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>07-0479477</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>ACM transactions on mathematical software</s0>
</fA64>
<fA66 i1="01"><s0>USA</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>This article 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.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02A05</s0>
</fC02>
<fC02 i1="02" i2="3"><s0>001B00B70</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Norme ISO</s0>
<s5>06</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>ISO standard</s0>
<s5>06</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Norma ISO</s0>
<s5>06</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Langage C</s0>
<s5>07</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>C language</s0>
<s5>07</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Lenguaje C</s0>
<s5>07</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Normalisation</s0>
<s5>08</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Standardization</s0>
<s5>08</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Normalización</s0>
<s5>08</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Sémantique</s0>
<s5>18</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Semantics</s0>
<s5>18</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Semántica</s0>
<s5>18</s5>
</fC03>
<fC03 i1="05" i2="3" l="FRE"><s0>Arithmétique virgule flottante</s0>
<s5>19</s5>
</fC03>
<fC03 i1="05" i2="3" l="ENG"><s0>Floating point arithmetic</s0>
<s5>19</s5>
</fC03>
<fC03 i1="06" i2="3" l="FRE"><s0>Portabilité logiciel</s0>
<s5>20</s5>
</fC03>
<fC03 i1="06" i2="3" l="ENG"><s0>Software portability</s0>
<s5>20</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Virgule flottante</s0>
<s5>23</s5>
</fC03>
<fC03 i1="07" i2="X" l="ENG"><s0>Floating point</s0>
<s5>23</s5>
</fC03>
<fC03 i1="07" i2="X" l="SPA"><s0>Coma flotante</s0>
<s5>23</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>Fonction élémentaire</s0>
<s4>CD</s4>
<s5>96</s5>
</fC03>
<fC03 i1="08" i2="X" l="ENG"><s0>Elementary function</s0>
<s4>CD</s4>
<s5>96</s5>
</fC03>
<fC03 i1="08" i2="X" l="SPA"><s0>Función elemental</s0>
<s4>CD</s4>
<s5>96</s5>
</fC03>
<fN21><s1>316</s1>
</fN21>
<fN44 i1="01"><s1>OTO</s1>
</fN44>
<fN82><s1>OTO</s1>
</fN82>
</pA>
</standard>
<server><NO>PASCAL 07-0479477 INIST</NO>
<ET>MPFR : A multiple-precision binary floating-point library with correct rounding</ET>
<AU>FOUSSE (Laurent); HANROT (Guillaume); LEFEVRE (Vincent); PELISSIER (Patrick); ZIMMERMANN LORIA (Paul)</AU>
<AF>LORIA, 615 rue du jardin botanique/54602 Villers-lès-Nancy/France (1 aut., 2 aut., 3 aut., 4 aut., 5 aut.)</AF>
<DT>Publication en série; Niveau analytique</DT>
<SO>ACM transactions on mathematical software; ISSN 0098-3500; Coden ACMSCU; Etats-Unis; Da. 2007; Vol. 33; No. 2; E1-E15; Bibl. 1 p.</SO>
<LA>Anglais</LA>
<EA>This article 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.</EA>
<CC>001D02A05; 001B00B70</CC>
<FD>Norme ISO; Langage C; Normalisation; Sémantique; Arithmétique virgule flottante; Portabilité logiciel; Virgule flottante; Fonction élémentaire</FD>
<ED>ISO standard; C language; Standardization; Semantics; Floating point arithmetic; Software portability; Floating point; Elementary function</ED>
<SD>Norma ISO; Lenguaje C; Normalización; Semántica; Coma flotante; Función elemental</SD>
<LO>INIST-16727.354000161463430050</LO>
<ID>07-0479477</ID>
</server>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000394 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000394 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    RBID
   |clé=     Pascal:07-0479477
   |texte=   MPFR : A multiple-precision binary floating-point library with correct rounding
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

MPFR : A multiple-precision binary floating-point library with correct rounding

MPFR : A multiple-precision binary floating-point library with correct rounding

Source :

Descripteurs français

English descriptors

Abstract

Notice en format standard (ISO 2709)

Format Inist (serveur)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri