<?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-03194113v2</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-04T10:53:48+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Coq Formalization of Lebesgue Integration of Nonnegative Functions</title>
            <title xml:lang="fr">Une formalisation en Coq de l'intégrale de Lebesgue des fonctions positives</title>
            <author role="aut">
              <persName>
                <forename type="first">Sylvie</forename>
                <surname>Boldo</surname>
              </persName>
              <email type="md5">c1e5bf8f6b105e0620e51e320a41725c</email>
              <email type="domain">inria.fr</email>
              <ptr type="url" target="https://pages.saclay.inria.fr/sylvie.boldo/"/>
              <idno type="idhal" notation="string">sboldo</idno>
              <idno type="idhal" notation="numeric">1201</idno>
              <idno type="halauthorid" notation="string">17720-1201</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1970-3019</idno>
              <idno type="IDREF">https://www.idref.fr/112505821</idno>
              <affiliation ref="#struct-1066537"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">François</forename>
                <surname>Clément</surname>
              </persName>
              <email type="md5">eb7d7b69d18e25fc4fb6c567e25972e9</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">francois-clement</idno>
              <idno type="idhal" notation="numeric">15396</idno>
              <idno type="halauthorid" notation="string">30707-15396</idno>
              <idno type="IDREF">https://www.idref.fr/193278464</idno>
              <affiliation ref="#struct-454687"/>
              <affiliation ref="#struct-51621"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florian</forename>
                <surname>Faissole</surname>
              </persName>
              <email type="md5">1beefd5e5751c267ebf92aafda366793</email>
              <email type="domain">fr.merce.mee.com</email>
              <idno type="idhal" notation="numeric">1095588</idno>
              <idno type="halauthorid" notation="string">1076570-1095588</idno>
              <affiliation ref="#struct-1066537"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Martin</surname>
              </persName>
              <idno type="halauthorid">120108-0</idno>
              <affiliation ref="#struct-537409"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Micaela</forename>
                <surname>Mayero</surname>
              </persName>
              <email type="md5">59360c1afc097d901ef4b4746913ad08</email>
              <email type="domain">lipn.univ-paris13.fr</email>
              <idno type="idhal" notation="numeric">1095589</idno>
              <idno type="halauthorid" notation="string">113692-1095589</idno>
              <affiliation ref="#struct-1000994"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Francois</forename>
                <surname>Clement</surname>
              </persName>
              <email type="md5">eb7d7b69d18e25fc4fb6c567e25972e9</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder ref="#projanr-49791"/>
            <funder ref="#projanr-23583"/>
            <funder ref="#projeurop-712711"/>
            <funder>This work was partly supported by the Paris Île-de-France Region (DIM RFSI MILC). This work was partly supported by Labex DigiCosme (project ANR-11-LABEX-0045-DIGICOSME) operated by ANR as part of the program “Investissement d’Avenir” Idex Paris-Saclay (ANR-11-IDEX-0003-02).This work was partly supported by the European Research Council (ERC) under the EuropeanUnion’s Horizon 2020 Research and Innovation Programme – Grant Agreement n◦810367.</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2021-04-09 12:43:39</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2021-12-08 16:20:07</date>
              <date type="whenModified">2026-04-16 09:50:01</date>
              <date type="whenReleased">2021-12-09 11:38:29</date>
              <date type="whenProduced">2021-04</date>
              <date type="whenEndEmbargoed">2021-12-08</date>
              <ref type="file" target="https://inria.hal.science/hal-03194113v2/document">
                <date notBefore="2021-12-08"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-03194113v2/file/RR-9401.pdf" id="file-3471046-3045706">
                <date notBefore="2021-12-08"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/2104.05256"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="111424">
                <persName>
                  <forename>Francois</forename>
                  <surname>Clement</surname>
                </persName>
                <email type="md5">eb7d7b69d18e25fc4fb6c567e25972e9</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03194113</idno>
            <idno type="halUri">https://inria.hal.science/hal-03194113</idno>
            <idno type="halBibtex">boldo:hal-03194113</idno>
            <idno type="halRefHtml">[Research Report] RR-9401, Inria, France. 2021, pp.38</idno>
            <idno type="halRef">[Research Report] RR-9401, Inria, France. 2021, pp.38</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3471046-3045706"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="ENPC" corresp="PARISTECH">École nationale des ponts et chaussées </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-COMPIEGNE">Université de Technologie de Compiègne</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
            <idno type="stamp" n="CERMICS" corresp="ENPC">Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</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="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="LMAC" corresp="UNIV-COMPIEGNE">Laboratoire LMAC - Laboratoire de Mathématiques Appliquées de Compiègne</idno>
            <idno type="stamp" n="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="IBHGC" corresp="UNIV-PARIS13">Institut de Biomécanique Humaine Georges Charpak</idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="ENS-PSACLAY">Ecole Normale Supérieure Paris-Saclay</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="LMF">Laboratoire Méthodes Formelles</idno>
            <idno type="stamp" n="LMF-AR">Arithmétique</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
          </seriesStmt>
          <notesStmt>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A Coq Formalization of Lebesgue Integration of Nonnegative Functions</title>
                <title xml:lang="fr">Une formalisation en Coq de l'intégrale de Lebesgue des fonctions positives</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sylvie</forename>
                    <surname>Boldo</surname>
                  </persName>
                  <email type="md5">c1e5bf8f6b105e0620e51e320a41725c</email>
                  <email type="domain">inria.fr</email>
                  <ptr type="url" target="https://pages.saclay.inria.fr/sylvie.boldo/"/>
                  <idno type="idhal" notation="string">sboldo</idno>
                  <idno type="idhal" notation="numeric">1201</idno>
                  <idno type="halauthorid" notation="string">17720-1201</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1970-3019</idno>
                  <idno type="IDREF">https://www.idref.fr/112505821</idno>
                  <affiliation ref="#struct-1066537"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Clément</surname>
                  </persName>
                  <email type="md5">eb7d7b69d18e25fc4fb6c567e25972e9</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">francois-clement</idno>
                  <idno type="idhal" notation="numeric">15396</idno>
                  <idno type="halauthorid" notation="string">30707-15396</idno>
                  <idno type="IDREF">https://www.idref.fr/193278464</idno>
                  <affiliation ref="#struct-454687"/>
                  <affiliation ref="#struct-51621"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florian</forename>
                    <surname>Faissole</surname>
                  </persName>
                  <email type="md5">1beefd5e5751c267ebf92aafda366793</email>
                  <email type="domain">fr.merce.mee.com</email>
                  <idno type="idhal" notation="numeric">1095588</idno>
                  <idno type="halauthorid" notation="string">1076570-1095588</idno>
                  <affiliation ref="#struct-1066537"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Martin</surname>
                  </persName>
                  <idno type="halauthorid">120108-0</idno>
                  <affiliation ref="#struct-537409"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Micaela</forename>
                    <surname>Mayero</surname>
                  </persName>
                  <email type="md5">59360c1afc097d901ef4b4746913ad08</email>
                  <email type="domain">lipn.univ-paris13.fr</email>
                  <idno type="idhal" notation="numeric">1095589</idno>
                  <idno type="halauthorid" notation="string">113692-1095589</idno>
                  <affiliation ref="#struct-1000994"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">RR-9401</idno>
                <imprint>
                  <biblScope unit="pp">38</biblScope>
                  <date type="datePub">2021-04</date>
                </imprint>
                <authority type="institution">Inria, France</authority>
              </monogr>
              <idno type="arxiv">2104.05256</idno>
              <relatedItem target="https://inria.hal.science/hal-03471095v1" type="IsVersionOf" subtype="http://purl.org/coar/resource_type/c_6501"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Measure theory</term>
                <term xml:lang="en">Formal proof</term>
                <term xml:lang="en">Coq</term>
                <term xml:lang="en">Lebesgue integration</term>
                <term xml:lang="fr">Théorie de la mesure</term>
                <term xml:lang="fr">Coq</term>
                <term xml:lang="fr">Preuve formelle</term>
                <term xml:lang="fr">Intégrale de Lebesgue</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="math.math-ca">Mathematics [math]/Classical Analysis and ODEs [math.CA]</classCode>
              <classCode scheme="halDomain" n="math.math-fa">Mathematics [math]/Functional Analysis [math.FA]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains.  Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in providing the highest confidence on the correctness of numerical programs involving the use of integration, directly or indirectly.  By its capability to extend the (Riemann) integral to a wide class of irregular functions, and to functions defined on more general spaces than the real line, the Lebesgue integral is perfectly suited for use in mathematical fields such as probability theory, numerical mathematics, and real analysis.  In this article, we present the Coq formalization of $\sigma$-algebras, measures, simple functions, and integration of nonnegative measurable functions, up to the full formal proofs of the Beppo Levi (monotone convergence) theorem and Fatou's lemma.  More than a plain formalization of the known literature, we present several design choices made to balance the harmony between mathematical readability and usability of Coq theorems.  These results are a first milestone toward the formalization of $L^p$~spaces such as Banach spaces.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Le calcul intégral, tout comme le calcul différentiel, est un outil fondamental utilisé largement dans de nombreux domaines scientifiques.  La formalisation de la notion mathématique d'intégrale et de ses propriétés dans un assistant de preuve aide à donner la plus grande confiance sur la correction de programmes numériques utilisant l'intégration, directement ou indirectement.  De part sa capacité à étendre l'intégrale (de Riemann) à une large classe de fonctions irrégulières, et à des fonctions définies sur des espaces plus généraux que la droite réelle, l'intégrale de Lebesgue est considérée comme parfaitement adaptée aux domaines mathématiques tels que la théorie des probabilités, les mathématiques numériques et l'analyse réelle.  Dans cet article, nous présentons la formalisation en Coq des tribus (ou $\sigma$-algèbres), des mesures, des fonctions étagées et de l'intégrale des fonctions mesurables positives, jusqu'aux preuves formelles complètes du théorème de convergence monotone de Beppo Levi et du lemme de Fatou.  Plus qu'une simple formalisation de la littérature connue, nous présentons plusieurs choix de design menés pour équilibrer l'harmonie entre la lisibilité mathématique et l'ergonomie des théorèmes Coq.  Ces résultats sont un premier jalon vers la formalisation des espaces~$L^p$ comme espaces de Banach.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1066537" status="VALID">
          <idno type="RNSR">201221053L</idno>
          <idno type="ROR">https://ror.org/028m5h544</idno>
          <orgName>Formally Verified Programs, Certified Tools and Numerical Computations</orgName>
          <orgName type="acronym">TOCCATA</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2026-06-30</date>
          <desc>
            <address>
              <addrLine>Université Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://toccata.gitlabpages.inria.fr/toccata/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1065710" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
            <relation name="UMR9021" active="#struct-441569" type="indirect"/>
            <relation active="#struct-523723" type="indirect"/>
            <relation active="#struct-1225627" type="direct"/>
            <relation active="#struct-118511" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-454687" status="VALID">
          <idno type="RNSR">201521772E</idno>
          <idno type="ROR">https://ror.org/00e5h1370</idno>
          <orgName>Simulation for the Environment: Reliable and Efficient Numerical Algorithms</orgName>
          <orgName type="acronym">SERENA</orgName>
          <date type="start">2015-12-31</date>
          <date type="end">2027-12-31</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/serena</ref>
          </desc>
          <listRelation>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-1771827" type="direct"/>
            <relation name="UMR9032" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1226401" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-51621" status="OLD">
          <idno type="IdRef">151174822</idno>
          <idno type="ISNI">0000000403826254</idno>
          <idno type="RNSR">200320607R</idno>
          <idno type="ROR">https://ror.org/03wct8w46</idno>
          <idno type="Wikidata">Q51781803</idno>
          <orgName>Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique</orgName>
          <orgName type="acronym">CERMICS</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>6 et 8 avenue Blaise Pascal Cité Descartes - Champs sur Marne 77455 Marne la Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cermics.enpc.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301545" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-537409" status="VALID">
          <idno type="ROR">https://ror.org/049z3x013</idno>
          <orgName>Laboratoire de Mathématiques Appliquées de Compiègne</orgName>
          <orgName type="acronym">LMAC</orgName>
          <desc>
            <address>
              <addrLine>Université de Technologie de Compiègne - Centre de Recherche de Royallieu - rue du Docteur Schweitzer- CS 60319 - 60203 COMPIEGNE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lmac.utc.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93027" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1000994" status="VALID">
          <idno type="IdRef">191907855</idno>
          <idno type="RNSR">200112433P</idno>
          <idno type="ROR">05g1zjw44</idno>
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
            <relation active="#struct-581146" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1065710" status="VALID">
          <idno type="IdRef">25474589X</idno>
          <idno type="RNSR">202123712M</idno>
          <idno type="ROR">https://ror.org/00gdtta79</idno>
          <idno type="Wikidata">Q109042513</idno>
          <orgName>Laboratoire Méthodes Formelles</orgName>
          <orgName type="acronym">LMF</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>4, avenue des Sciences, 91190, Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UMR9021" active="#struct-441569" type="direct"/>
            <relation active="#struct-523723" 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="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/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>
        <org type="institution" xml:id="struct-523723" status="VALID">
          <idno type="ROR">https://ror.org/00hx6zz33</idno>
          <orgName>Ecole Normale Supérieure  Paris-Saclay</orgName>
          <orgName type="acronym">ENS Paris Saclay</orgName>
          <desc>
            <address>
              <addrLine>4 avenue des Sciences, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ens-paris-saclay.fr/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-1225627" status="VALID">
          <idno type="ROR">https://ror.org/040753f36</idno>
          <orgName>Centre Inria de l'Université Paris-Saclay</orgName>
          <date type="start">2022-11-01</date>
          <desc>
            <address>
              <addrLine>9 Rue Joliot Curie, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-118511" status="VALID">
          <idno type="RNSR">200818248E</idno>
          <idno type="ROR">https://ror.org/0315e5x55</idno>
          <orgName>Centre Inria de Saclay</orgName>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1771827" status="VALID">
          <idno type="IdRef">151174822</idno>
          <idno type="ISNI">0000000403826254</idno>
          <idno type="RNSR">200320607R</idno>
          <idno type="ROR">https://ror.org/03wct8w46</idno>
          <idno type="Wikidata">Q51781803</idno>
          <orgName>Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique</orgName>
          <orgName type="acronym">CERMICS UMR 9032</orgName>
          <date type="start">2026-01-01</date>
          <desc>
            <address>
              <addrLine>6 et 8 avenue Blaise Pascal Cité Descartes - Champs sur Marne 77455 Marne la Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cermics.enpc.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR9032" active="#struct-441569" type="direct"/>
            <relation active="#struct-1226401" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1226401" status="VALID">
          <idno type="IdRef">026375060</idno>
          <idno type="ISNI">0000000406414845</idno>
          <idno type="ROR">https://ror.org/02nwvxz07</idno>
          <idno type="Wikidata">Q273523</idno>
          <orgName>École nationale des ponts et chaussées</orgName>
          <orgName type="acronym">ENPC</orgName>
          <date type="start">2024-07-17</date>
          <desc>
            <address>
              <addrLine>6-8 avenue Blaise PascalCité DescartesChamps-sur-Marne77455 Marne-la-Vallée cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ecoledesponts.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301545" status="OLD">
          <idno type="ROR">https://ror.org/02nwvxz07</idno>
          <orgName>École nationale des ponts et chaussées</orgName>
          <orgName type="acronym">ENPC</orgName>
          <date type="start">1747-02-14</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>École nationale des ponts et chaussées, 6-8 avenue Blaise-Pascal, Cité Descartes, Champs-sur-Marne, 77455 Marne-la-Vallée cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ecoledesponts.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-93027" status="VALID">
          <idno type="ROR">https://ror.org/04y5kwa70</idno>
          <orgName>Université de Technologie de Compiègne</orgName>
          <orgName type="acronym">UTC</orgName>
          <desc>
            <address>
              <addrLine>Université de Technologie de Compiègne - rue du Docteur Schweitzer- CS 60319 - 60203 Compiègne Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.utc.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-581146" status="VALID">
          <idno type="IdRef">02640463X</idno>
          <idno type="ISNI">0000000121496883</idno>
          <idno type="ROR">https://ror.org/0199hds37</idno>
          <orgName>Université Sorbonne Paris Nord</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>99, avenue Jean-Baptiste Clément, 93430 Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-paris13.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-49791" status="VALID">
          <idno type="anr">ANR-11-LABX-0045</idno>
          <orgName>DIGICOSME</orgName>
          <desc>Mondes numériques: Données, programmes et architectures distribués</desc>
          <date type="start">2011</date>
        </org>
        <org type="anrProject" xml:id="projanr-23583" status="VALID">
          <idno type="anr">ANR-11-IDEX-0003</idno>
          <orgName>IPS</orgName>
          <desc>Idex Paris-Saclay</desc>
          <date type="start">2011</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-712711" status="VALID">
          <idno type="number">810367</idno>
          <idno type="program">ERC-2018-SyG</idno>
          <idno type="call">ERC-2018-SyG</idno>
          <orgName>EMC2</orgName>
          <desc>Extreme-scale Mathematically-based Computational Chemistry</desc>
          <date type="start">2019-09-01</date>
          <date type="end">2026-02-28</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>