<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00651939</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-21T18:24:21+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Generating a Minimal Interval Arithmetic Based on GNU MPFR</title>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Lefèvre</surname>
              </persName>
              <email type="md5">9e810011cf37dc53b40c0253d700a956</email>
              <email type="domain">vinc17.net</email>
              <idno type="idhal" notation="string">vinc17</idno>
              <idno type="idhal" notation="numeric">530</idno>
              <idno type="halauthorid" notation="string">14578-530</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4045-8273</idno>
              <idno type="IDREF">https://www.idref.fr/258258659</idno>
              <affiliation ref="#struct-2371"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Vincent</forename>
                <surname>Lefèvre</surname>
              </persName>
              <email type="md5">4e737d6c987d67b79c467eb472d418dd</email>
              <email type="domain">vinc17.net</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2011-12-14 15:32:23</date>
              <date type="whenModified">2025-10-13 09:44:14</date>
              <date type="whenReleased">2011-12-14 15:32:23</date>
              <date type="whenProduced">2011-09-11</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="102404">
                <persName>
                  <forename>Vincent</forename>
                  <surname>Lefèvre</surname>
                </persName>
                <email type="md5">4e737d6c987d67b79c467eb472d418dd</email>
                <email type="domain">vinc17.net</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00651939</idno>
            <idno type="halUri">https://inria.hal.science/hal-00651939</idno>
            <idno type="halBibtex">lefevre:hal-00651939</idno>
            <idno type="halRefHtml">&lt;i&gt;Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371)&lt;/i&gt;, Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova, Sep 2011, Dagstuhl, Germany. pp.43, &lt;a target="_blank" href="https://dx.doi.org/10.4230/DagRep.1.9.26"&gt;&amp;#x27E8;10.4230/DagRep.1.9.26&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova, Sep 2011, Dagstuhl, Germany. pp.43, &amp;#x27E8;10.4230/DagRep.1.9.26&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-LYON">École Normale Supérieure de Lyon</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="LIP" corresp="UNIV-LYON1">Laboratoire de l'Informatique du Parallélisme</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Abstract only.</note>
            <note type="audience" n="2">International</note>
            <note type="invited" n="1">Yes</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Generating a Minimal Interval Arithmetic Based on GNU MPFR</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Lefèvre</surname>
                  </persName>
                  <email type="md5">9e810011cf37dc53b40c0253d700a956</email>
                  <email type="domain">vinc17.net</email>
                  <idno type="idhal" notation="string">vinc17</idno>
                  <idno type="idhal" notation="numeric">530</idno>
                  <idno type="halauthorid" notation="string">14578-530</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4045-8273</idno>
                  <idno type="IDREF">https://www.idref.fr/258258659</idno>
                  <affiliation ref="#struct-2371"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371)</title>
                  <date type="start">2011-09-11</date>
                  <date type="end">2011-09-16</date>
                  <settlement>Dagstuhl</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova</name>
                </respStmt>
                <editor>Isaac E. Elishakoff and Vladik Kreinovich and Wolfram Luther and Evgenija D. Popova</editor>
                <imprint>
                  <publisher>Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik</publisher>
                  <biblScope unit="serie">Dagstuhl Reports</biblScope>
                  <biblScope unit="volume">1</biblScope>
                  <biblScope unit="pp">43</biblScope>
                  <date type="datePub">2011-12-13</date>
                </imprint>
              </monogr>
              <idno type="doi">10.4230/DagRep.1.9.26</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="acm" n="G.1.0.0">G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.0: Computer arithmetic</classCode>
              <classCode scheme="acm" n="G.1.0.3">G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.3: Interval arithmetic</classCode>
              <classCode scheme="halDomain" n="info.info-ao">Computer Science [cs]/Computer Arithmetic</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Searching for the hardest-to-round cases for the correct rounding of some function f on an interval I in a fixed precision can be done efficiently by first approximating the considered function by a polynomial, on which specific algorithms are then applied. One also needs to determine an enclosure of the range f(I), more precisely the exponent range. Our implementation currently uses Maple and the intpakX interval arithmetic package in order to compute both the exponent range and the polynomial approximation. But Maple/intpakX has various drawbacks. The GNU MPFR library has since been available and could be used for our computations in arbitrary precision. But we need an interval arithmetic on top of it. As reliability matters more than performance in this context, we seek to implement a minimal interval arithmetic by generating code on the fly using MPFR. The implementation should be as simple as possible so that it could easily be checked and/or proved formally.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2371" status="OLD">
          <idno type="RNSR">199818277E</idno>
          <orgName>Computer arithmetic</orgName>
          <orgName type="acronym">ARENAIRE</orgName>
          <desc>
            <address>
              <addrLine>ENS Lyon - Laboratoire de l'Informatique du Parallélisme (LIP)46 Allée d'Italie 69364 Lyon France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/arenaire</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-35418" type="direct"/>
            <relation active="#struct-6818" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-35418" status="VALID">
          <idno type="IdRef">191041289</idno>
          <idno type="ISNI">0000000104538607</idno>
          <idno type="RNSR">200317503S</idno>
          <idno type="ROR">04msnz457</idno>
          <orgName>Laboratoire de l'Informatique du Parallélisme</orgName>
          <orgName type="acronym">LIP</orgName>
          <date type="start">1990-01-01</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 LYON CEDEX 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6818" type="direct"/>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6818" status="VALID">
          <idno type="IdRef">149154992</idno>
          <idno type="ISNI">0000000123319856</idno>
          <idno type="ROR">https://ror.org/04zmssz18</idno>
          <idno type="Wikidata">Q10159</idno>
          <orgName>École normale supérieure de Lyon</orgName>
          <orgName type="acronym">ENS de Lyon</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>