<?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-00820902</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-04-26T09:58:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Computing representations for radicals of finitely generated differential ideals</title>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Boulier</surname>
              </persName>
              <email type="md5">3d730ccf1973a50890a9f1ad7a294e26</email>
              <email type="domain">univ-lille.fr</email>
              <idno type="idhal" notation="string">boulier</idno>
              <idno type="idhal" notation="numeric">6780</idno>
              <idno type="halauthorid" notation="string">12911-6780</idno>
              <idno type="IDREF">https://www.idref.fr/109046978</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6663-719X</idno>
              <affiliation ref="#struct-2546"/>
              <affiliation ref="#struct-106848"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Daniel</forename>
                <surname>Lazard</surname>
              </persName>
              <idno type="halauthorid">142639-0</idno>
              <affiliation ref="#struct-2438"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Ollivier</surname>
              </persName>
              <email type="md5">009154a10fd6957bf08473c9162d9602</email>
              <email type="domain">lix.polytechnique.fr</email>
              <idno type="idhal" notation="string">francois-ollivier</idno>
              <idno type="idhal" notation="numeric">740867</idno>
              <idno type="halauthorid" notation="string">52092-740867</idno>
              <idno type="ARXIV">https://arxiv.org/a/ollivier_f_1</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4309-3791</idno>
              <affiliation ref="#struct-396473"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michel</forename>
                <surname>Petitot</surname>
              </persName>
              <email type="md5">cbb5fcb666a60d9734ec02f363c2c5df</email>
              <email type="domain">lifl.fr</email>
              <idno type="idhal" notation="numeric">941045</idno>
              <idno type="halauthorid" notation="string">198878-941045</idno>
              <affiliation ref="#struct-2546"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>François</forename>
                <surname>Ollivier</surname>
              </persName>
              <email type="md5">009154a10fd6957bf08473c9162d9602</email>
              <email type="domain">lix.polytechnique.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-05-06 21:25:49</date>
              <date type="whenWritten">1997</date>
              <date type="whenModified">2025-02-26 15:24:03</date>
              <date type="whenReleased">2013-05-07 09:45:57</date>
              <date type="whenProduced">2009-04</date>
              <date type="whenEndEmbargoed">2013-05-06</date>
              <ref type="file" target="https://hal.science/hal-00820902v1/document">
                <date notBefore="2013-05-06"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00820902v1/file/blopV2.pdf" id="file-820902-1074743">
                <date notBefore="2013-05-06"/>
              </ref>
              <ref type="externalLink" target="http://hal.inria.fr/docs/00/82/09/02/PDF/blopV2.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="153937">
                <persName>
                  <forename>François</forename>
                  <surname>Ollivier</surname>
                </persName>
                <email type="md5">009154a10fd6957bf08473c9162d9602</email>
                <email type="domain">lix.polytechnique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00820902</idno>
            <idno type="halUri">https://hal.science/hal-00820902</idno>
            <idno type="halBibtex">boulier:hal-00820902</idno>
            <idno type="halRefHtml">&lt;i&gt;Applicable Algebra in Engineering, Communication and Computing&lt;/i&gt;, 2009, 20 (1), pp.73-121. &lt;a target="_blank" href="https://dx.doi.org/10.1007/s00200-009-0091-7"&gt;&amp;#x27E8;10.1007/s00200-009-0091-7&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Applicable Algebra in Engineering, Communication and Computing, 2009, 20 (1), pp.73-121. &amp;#x27E8;10.1007/s00200-009-0091-7&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-820902-1074743"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</idno>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="UNIV-LILLE3">Université de Lille Sciences humaines et sociales</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="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="LIX-MAX" corresp="LIX">Max</idno>
            <idno type="stamp" n="LIFL">Laboratoire d'Informatique Fondamentale de Lille</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</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="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="CRISTAL-CFHP">CRIStAL - Calcul Formel et Haute Performance</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Computing representations for radicals of finitely generated differential ideals</title>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Boulier</surname>
                  </persName>
                  <email type="md5">3d730ccf1973a50890a9f1ad7a294e26</email>
                  <email type="domain">univ-lille.fr</email>
                  <idno type="idhal" notation="string">boulier</idno>
                  <idno type="idhal" notation="numeric">6780</idno>
                  <idno type="halauthorid" notation="string">12911-6780</idno>
                  <idno type="IDREF">https://www.idref.fr/109046978</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6663-719X</idno>
                  <affiliation ref="#struct-2546"/>
                  <affiliation ref="#struct-106848"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Daniel</forename>
                    <surname>Lazard</surname>
                  </persName>
                  <idno type="halauthorid">142639-0</idno>
                  <affiliation ref="#struct-2438"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Ollivier</surname>
                  </persName>
                  <email type="md5">009154a10fd6957bf08473c9162d9602</email>
                  <email type="domain">lix.polytechnique.fr</email>
                  <idno type="idhal" notation="string">francois-ollivier</idno>
                  <idno type="idhal" notation="numeric">740867</idno>
                  <idno type="halauthorid" notation="string">52092-740867</idno>
                  <idno type="ARXIV">https://arxiv.org/a/ollivier_f_1</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4309-3791</idno>
                  <affiliation ref="#struct-396473"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michel</forename>
                    <surname>Petitot</surname>
                  </persName>
                  <email type="md5">cbb5fcb666a60d9734ec02f363c2c5df</email>
                  <email type="domain">lifl.fr</email>
                  <idno type="idhal" notation="numeric">941045</idno>
                  <idno type="halauthorid" notation="string">198878-941045</idno>
                  <affiliation ref="#struct-2546"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">10593</idno>
                <idno type="issn">0938-1279</idno>
                <idno type="eissn">1432-0622</idno>
                <title level="j">Applicable Algebra in Engineering, Communication and Computing</title>
                <imprint>
                  <publisher>Springer Verlag</publisher>
                  <biblScope unit="volume">20</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">73-121</biblScope>
                  <date type="datePub">2009-04</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/s00200-009-0091-7</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="it">Computer algebra</term>
                <term xml:lang="it">Differential algebra</term>
              </keywords>
              <classCode scheme="classification">AMS 12H05</classCode>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This paper deals with systems of polynomial di erential equations, ordinary or with partial derivatives. The embedding theory is the di erential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld-Gröbner, which computes a representation for the radical p of the diff erential ideal generated by any such sys- tem . The computed representation constitutes a normal simpli er for the equivalence relation modulo p (it permits to test embership in p). It permits also to compute Taylor expansions of solutions of . The algorithm is implemented within a package in MAPLE.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-2546" status="OLD">
          <orgName>Laboratoire d'Informatique Fondamentale de Lille</orgName>
          <orgName type="acronym">LIFL</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment M3 59655 Villeneuve d'Ascq Cédex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lifl.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92973" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301700" type="direct"/>
            <relation name="UMR8022" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-106848" status="OLD">
          <orgName>Calcul Formel</orgName>
          <orgName type="acronym">CALFOR</orgName>
          <desc>
            <address>
              <addrLine>Cité scientifique, bâtiment M3 59655 Villeneuve d'Ascq CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lifl.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2546" type="direct"/>
            <relation active="#struct-92973" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301700" type="indirect"/>
            <relation name="UMR8022" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-2438" status="OLD">
          <idno type="RNSR">200518334L</idno>
          <orgName>Solvers for Algebraic Systems and Applications</orgName>
          <orgName type="acronym">SALSA</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
            <relation active="#struct-86790" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-396473" status="INCOMING">
          <orgName>MAX, Laboratoire d'Informatique de l'X</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-2071" type="direct"/>
            <relation active="#struct-300340" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92973" status="OLD">
          <idno type="IdRef">026404184</idno>
          <idno type="ROR">https://ror.org/0546v5182</idno>
          <orgName>Université de Lille, Sciences et Technologies</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille1.fr/</ref>
          </desc>
        </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-301700" status="OLD">
          <idno type="IdRef">026404524</idno>
          <idno type="ISNI">0000000121517701</idno>
          <idno type="ROR">https://ror.org/025b4c754</idno>
          <orgName>Université de Lille, Sciences Humaines et Sociales</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille3.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="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</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-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</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>
      </listOrg>
    </back>
  </text>
</TEI>