<?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-02008026</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-21T22:28:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Solving under-constrained numerical constraint satisfaction problems with IBEX</title>
            <author role="aut">
              <persName>
                <forename type="first">Gilles</forename>
                <surname>Chabert</surname>
              </persName>
              <email type="md5">aa99cf48ef775b74e147e3bfee05e4aa</email>
              <email type="domain">mines-albi.fr</email>
              <idno type="idhal" notation="string">gilles-chabert</idno>
              <idno type="idhal" notation="numeric">8037</idno>
              <idno type="halauthorid" notation="string">16581-8037</idno>
              <idno type="IDREF">https://www.idref.fr/112900224</idno>
              <idno type="ORCID">https://orcid.org/0009-0004-7321-578X</idno>
              <orgName ref="#struct-84538"/>
              <affiliation ref="#struct-489559"/>
              <affiliation ref="#struct-500495"/>
              <affiliation ref="#struct-473973"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Goldsztejn</surname>
              </persName>
              <email type="md5">00590e0b5be9162e7cd587c4262698c3</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">alexandre-goldsztejn</idno>
              <idno type="idhal" notation="numeric">17099</idno>
              <idno type="halauthorid" notation="string">18362-17099</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6561-5888</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?hl=en&amp;user=knvZjVwAAAAJ&amp;pagesize=100</idno>
              <idno type="IDREF">https://www.idref.fr/096006706</idno>
              <affiliation ref="#struct-500495"/>
              <affiliation ref="#struct-473973"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Jermann</surname>
              </persName>
              <email type="md5">684bc45305f453cd11eaebe855ab6609</email>
              <email type="domain">univ-nantes.fr</email>
              <idno type="idhal" notation="string">christophe-jermann</idno>
              <idno type="idhal" notation="numeric">10950</idno>
              <idno type="halauthorid" notation="string">9420-10950</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1383-3103</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?sortby=pubdate&amp;hl=fr&amp;user=-wEIYj0AAAAJ&amp;view_op=list_works</idno>
              <idno type="IDREF">https://www.idref.fr/075970317</idno>
              <affiliation ref="#struct-93263"/>
              <affiliation ref="#struct-473973"/>
              <affiliation ref="#struct-500495"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ogre</forename>
                <surname>Equipe</surname>
              </persName>
              <email type="md5">28e78dd7debbfddc85fceae326b0e2e0</email>
              <email type="domain">univ-nantes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-02-05 15:07:24</date>
              <date type="whenModified">2026-01-19 16:46:19</date>
              <date type="whenReleased">2019-02-19 09:39:58</date>
              <date type="whenProduced">2018-09-10</date>
              <date type="whenEndEmbargoed">2019-02-05</date>
              <ref type="file" target="https://hal.science/hal-02008026v1/document">
                <date notBefore="2019-02-05"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02008026v1/file/Chabert-SCAN2018.pdf" id="file-2008051-2020918">
                <date notBefore="2019-02-05"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="605672">
                <persName>
                  <forename>Ogre</forename>
                  <surname>Equipe</surname>
                </persName>
                <email type="md5">28e78dd7debbfddc85fceae326b0e2e0</email>
                <email type="domain">univ-nantes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02008026</idno>
            <idno type="halUri">https://hal.science/hal-02008026</idno>
            <idno type="halBibtex">chabert:hal-02008026</idno>
            <idno type="halRefHtml">&lt;i&gt;The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations&lt;/i&gt;, Sep 2018, Tokyo, Japan</idno>
            <idno type="halRef">The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2008051-2020918"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-OGRE" corresp="LS2N">LS2N - équipe OGRE ( Optimisation Globale et Résolution Ensembliste )</idno>
            <idno type="stamp" n="LS2N-OGRE-IMTA">Equipe Ogre</idno>
            <idno type="stamp" n="IMTA_DAPI">IMT Atlantique - Département automatique, productique et informatique</idno>
            <idno type="stamp" n="LS2N-IMTA">LS2N - IMT Atlantique</idno>
            <idno type="stamp" n="IMT-ATLANTIQUE" corresp="INSTITUT-MINES-TELECOM">IMT-ATLANTIQUE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="NU-CENTRALE">École Centrale de Nantes</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Solving under-constrained numerical constraint satisfaction problems with IBEX</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Gilles</forename>
                    <surname>Chabert</surname>
                  </persName>
                  <email type="md5">aa99cf48ef775b74e147e3bfee05e4aa</email>
                  <email type="domain">mines-albi.fr</email>
                  <idno type="idhal" notation="string">gilles-chabert</idno>
                  <idno type="idhal" notation="numeric">8037</idno>
                  <idno type="halauthorid" notation="string">16581-8037</idno>
                  <idno type="IDREF">https://www.idref.fr/112900224</idno>
                  <idno type="ORCID">https://orcid.org/0009-0004-7321-578X</idno>
                  <orgName ref="#struct-84538"/>
                  <affiliation ref="#struct-489559"/>
                  <affiliation ref="#struct-500495"/>
                  <affiliation ref="#struct-473973"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Goldsztejn</surname>
                  </persName>
                  <email type="md5">00590e0b5be9162e7cd587c4262698c3</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">alexandre-goldsztejn</idno>
                  <idno type="idhal" notation="numeric">17099</idno>
                  <idno type="halauthorid" notation="string">18362-17099</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6561-5888</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?hl=en&amp;user=knvZjVwAAAAJ&amp;pagesize=100</idno>
                  <idno type="IDREF">https://www.idref.fr/096006706</idno>
                  <affiliation ref="#struct-500495"/>
                  <affiliation ref="#struct-473973"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Jermann</surname>
                  </persName>
                  <email type="md5">684bc45305f453cd11eaebe855ab6609</email>
                  <email type="domain">univ-nantes.fr</email>
                  <idno type="idhal" notation="string">christophe-jermann</idno>
                  <idno type="idhal" notation="numeric">10950</idno>
                  <idno type="halauthorid" notation="string">9420-10950</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1383-3103</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?sortby=pubdate&amp;hl=fr&amp;user=-wEIYj0AAAAJ&amp;view_op=list_works</idno>
                  <idno type="IDREF">https://www.idref.fr/075970317</idno>
                  <affiliation ref="#struct-93263"/>
                  <affiliation ref="#struct-473973"/>
                  <affiliation ref="#struct-500495"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations</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/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">parametric interval Newton</term>
                <term xml:lang="en">manifolds</term>
                <term xml:lang="en">Numerical constraints</term>
                <term xml:lang="en">interval Newton</term>
                <term xml:lang="en">manifold</term>
                <term xml:lang="en">numerical constraint satisfaction</term>
              </keywords>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</classCode>
              <classCode scheme="halDomain" n="info.info-na">Computer Science [cs]/Numerical Analysis [cs.NA]</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>Under-constrained systems of equations gives rise to manifolds of solution, which are difficult to compute. We show how the numerical constraint solver IBEXsolve is able to certify the computation of such positive dimensional manifolds using a parametric interval Newton operator.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-489559" status="VALID">
          <orgName>Département Automatique, Productique et Informatique</orgName>
          <orgName type="acronym">IMT Atlantique - DAPI</orgName>
          <date type="start">2017-03-21</date>
          <desc>
            <address>
              <addrLine>IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-500495" status="OLD">
          <orgName>Optimisation Globale et Résolution Ensembliste</orgName>
          <orgName type="acronym">LS2N - équipe OGRE</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-473973" type="direct"/>
            <relation active="#struct-97058" type="indirect"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-473973" status="OLD">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Nantes – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-97058" type="direct"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-97058" status="OLD">
          <orgName>Université de Nantes - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">UN UFR ST</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-111023" status="OLD">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>École Centrale de Nantes</orgName>
          <orgName type="acronym">ECN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.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>