<?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-01963589</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-22T13:35:53+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Tight interval inclusions with compensated algorithms</title>
            <author role="aut">
              <persName>
                <forename type="first">Stef</forename>
                <surname>Graillat</surname>
              </persName>
              <email type="md5">4b044aa69b443504fc644832ceac0b94</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">stef-graillat</idno>
              <idno type="idhal" notation="numeric">5653</idno>
              <idno type="halauthorid" notation="string">4870-5653</idno>
              <idno type="IDREF">https://www.idref.fr/104060735</idno>
              <affiliation ref="#struct-541706"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Fabienne</forename>
                <surname>Jézéquel</surname>
              </persName>
              <email type="md5">48a8a2e88a63e145497452fea7efc3ea</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">fabienne-jezequel</idno>
              <idno type="idhal" notation="numeric">9537</idno>
              <idno type="halauthorid" notation="string">14830-9537</idno>
              <idno type="IDREF">https://www.idref.fr/140519335</idno>
              <idno type="ISNI">http://isni.org/isni/000000035840203X</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8782-7566</idno>
              <idno type="VIAF">https://viaf.org/viaf/103147662862160550716</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/DWC-2340-2022</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DWC-2340-2022</idno>
              <affiliation ref="#struct-44614"/>
              <affiliation ref="#struct-541706"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Fabienne</forename>
                <surname>JEZEQUEL</surname>
              </persName>
              <email type="md5">48a8a2e88a63e145497452fea7efc3ea</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-01-14 14:40:53</date>
              <date type="whenModified">2024-12-12 03:43:32</date>
              <date type="whenReleased">2019-01-17 10:26:57</date>
              <date type="whenProduced">2018-09-10</date>
              <ref type="annex" n="0" target="https://hal.science/hal-01963589v1/file/scan2018.pdf" id="file-1963589-2003882">
                <date notBefore="2018-12-21"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="330684">
                <persName>
                  <forename>Fabienne</forename>
                  <surname>JEZEQUEL</surname>
                </persName>
                <email type="md5">48a8a2e88a63e145497452fea7efc3ea</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01963589</idno>
            <idno type="halUri">https://hal.science/hal-01963589</idno>
            <idno type="halBibtex">graillat:hal-01963589</idno>
            <idno type="halRefHtml">&lt;i&gt;18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018)&lt;/i&gt;, Sep 2018, Tokyo, Japan. pp.86-87</idno>
            <idno type="halRef">18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Sep 2018, Tokyo, Japan. pp.86-87</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1963589-2003882"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="PANTHEON-ASSAS-UNIVERSITE">Université Paris-Panthéon-Assas</idno>
            <idno type="stamp" n="UNIV-PARIS2" corresp="PANTHEON-ASSAS-UNIVERSITE">Université Panthéon-Assas</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</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">Tight interval inclusions with compensated algorithms</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Stef</forename>
                    <surname>Graillat</surname>
                  </persName>
                  <email type="md5">4b044aa69b443504fc644832ceac0b94</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">stef-graillat</idno>
                  <idno type="idhal" notation="numeric">5653</idno>
                  <idno type="halauthorid" notation="string">4870-5653</idno>
                  <idno type="IDREF">https://www.idref.fr/104060735</idno>
                  <affiliation ref="#struct-541706"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Fabienne</forename>
                    <surname>Jézéquel</surname>
                  </persName>
                  <email type="md5">48a8a2e88a63e145497452fea7efc3ea</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">fabienne-jezequel</idno>
                  <idno type="idhal" notation="numeric">9537</idno>
                  <idno type="halauthorid" notation="string">14830-9537</idno>
                  <idno type="IDREF">https://www.idref.fr/140519335</idno>
                  <idno type="ISNI">http://isni.org/isni/000000035840203X</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8782-7566</idno>
                  <idno type="VIAF">https://viaf.org/viaf/103147662862160550716</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/DWC-2340-2022</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DWC-2340-2022</idno>
                  <affiliation ref="#struct-44614"/>
                  <affiliation ref="#struct-541706"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018)</title>
                <meeting>
                  <title>18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018)</title>
                  <date type="start">2018-09-10</date>
                  <date type="end">2018-09-15</date>
                  <settlement>Tokyo</settlement>
                  <country key="JP">Japan</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Book of Abstracts</biblScope>
                  <biblScope unit="pp">86-87</biblScope>
                  <date type="datePub">2018-09-10</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">compensated algorithms</term>
                <term xml:lang="en">directed rounding</term>
                <term xml:lang="en">rounding errors</term>
                <term xml:lang="en">summation algorithms</term>
                <term xml:lang="en">dot product</term>
                <term xml:lang="en">Horner scheme</term>
                <term xml:lang="en">numerical validation</term>
                <term xml:lang="en">error-free transformations</term>
                <term xml:lang="en">floating-point arithmetic</term>
                <term xml:lang="en">interval arithmetic</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Compensated algorithms consist in computing the rounding errors of individual operations and then adding them later to the computed result. This makes it possible to increase the accuracy of the computed result efficiently. Computing the rounding error of an individual operation is possible through the use of a so-called error-free transformation. In this talk, we show that it is possible to use compensated algorithms for having tight interval inclusions. We study compensated algorithms for summation, dot product and polynomial evaluation. We prove that the use of directed rounding makes it possible to get narrow inclusions with compensated algorithms. This is due to the fact that error-free transformations are no more exact but still sufficiently accurate to improve the numerical quality of results.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-541706" status="VALID">
          <orgName>Performance et Qualité des Algorithmes Numériques</orgName>
          <orgName type="acronym">PEQUAN</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-44614" status="OLD">
          <idno type="ROR">https://ror.org/04qb2qm38</idno>
          <orgName>Université Panthéon-Assas</orgName>
          <orgName type="acronym">UP2</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>12 place Panthéon - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-paris2.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </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>