<?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-04962400</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-13T21:24:31+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Polygraphic resolutions for operated algebras</title>
            <author role="aut">
              <persName>
                <forename type="first">Zuan</forename>
                <surname>Liu</surname>
              </persName>
              <email type="md5">4217008cc6ce82d8d70b592251c9e3cf</email>
              <email type="domain">math.univ-lyon1.fr</email>
              <idno type="idhal" notation="numeric">1511599</idno>
              <idno type="halauthorid" notation="string">3426671-1511599</idno>
              <affiliation ref="#struct-193738"/>
              <affiliation ref="#struct-521750"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Malbos</surname>
              </persName>
              <email type="md5">faa59d15b5159a85b4a3425e023e0754</email>
              <email type="domain">math.univ-lyon1.fr</email>
              <idno type="idhal" notation="string">philippe-malbos</idno>
              <idno type="idhal" notation="numeric">749796</idno>
              <idno type="halauthorid" notation="string">24193-749796</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4449-0091</idno>
              <idno type="IDREF">https://www.idref.fr/083267905</idno>
              <affiliation ref="#struct-193738"/>
              <affiliation ref="#struct-521750"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Philippe</forename>
                <surname>Malbos</surname>
              </persName>
              <email type="md5">faa59d15b5159a85b4a3425e023e0754</email>
              <email type="domain">math.univ-lyon1.fr</email>
            </editor>
            <funder>This work was supported by the China Scholarship Council (CSC) under Grant No. 202406140026.</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-02-22 23:32:11</date>
              <date type="whenWritten">2025-02-22</date>
              <date type="whenModified">2026-04-23 14:50:06</date>
              <date type="whenReleased">2025-02-24 09:16:14</date>
              <date type="whenProduced">2025-02-22</date>
              <date type="whenEndEmbargoed">2025-02-22</date>
              <ref type="file" target="https://hal.science/hal-04962400v1/document">
                <date notBefore="2025-02-22"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04962400v1/file/operatedrewriting.pdf" id="file-4962400-4301835">
                <date notBefore="2025-02-22"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="186633">
                <persName>
                  <forename>Philippe</forename>
                  <surname>Malbos</surname>
                </persName>
                <email type="md5">faa59d15b5159a85b4a3425e023e0754</email>
                <email type="domain">math.univ-lyon1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04962400</idno>
            <idno type="halUri">https://hal.science/hal-04962400</idno>
            <idno type="halBibtex">liu:hal-04962400</idno>
            <idno type="halRefHtml">2025</idno>
            <idno type="halRef">2025</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4962400-4301835"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ST-ETIENNE">Université Jean Monnet - Saint-Etienne</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ICJ" corresp="UNIV-LYON1">Institut Camille Jordan</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="INSA-LYON">Institut National des Sciences Appliquées de Lyon</idno>
            <idno type="stamp" n="EC-LYON">Ecole Centrale de Lyon</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Polygraphic resolutions for operated algebras</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Zuan</forename>
                    <surname>Liu</surname>
                  </persName>
                  <email type="md5">4217008cc6ce82d8d70b592251c9e3cf</email>
                  <email type="domain">math.univ-lyon1.fr</email>
                  <idno type="idhal" notation="numeric">1511599</idno>
                  <idno type="halauthorid" notation="string">3426671-1511599</idno>
                  <affiliation ref="#struct-193738"/>
                  <affiliation ref="#struct-521750"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Malbos</surname>
                  </persName>
                  <email type="md5">faa59d15b5159a85b4a3425e023e0754</email>
                  <email type="domain">math.univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">philippe-malbos</idno>
                  <idno type="idhal" notation="numeric">749796</idno>
                  <idno type="halauthorid" notation="string">24193-749796</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4449-0091</idno>
                  <idno type="IDREF">https://www.idref.fr/083267905</idno>
                  <affiliation ref="#struct-193738"/>
                  <affiliation ref="#struct-521750"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Operated algebras</term>
                <term xml:lang="en">Higher-dimensional rewriting</term>
                <term xml:lang="en">Gröbner-Shirshov bases</term>
                <term xml:lang="en">Automata</term>
                <term xml:lang="en">Polygraphic resolutions</term>
              </keywords>
              <classCode scheme="classification">M.S.C. 2020 – 12H05, 16Z10, 18N30, 68Q42, 18G10.</classCode>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gröbner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of critical branchings of operated polygraphs using the structure of polyautomata that we introduce in this paper. Polyautomata extend linear polygraphs of an operator structure formalized by a pushdown automata. We show how to construct polygraphic resolutions of free operated algebras from their confluent and terminating presentations. Finally, we apply our constructions to several families of operated algebras, including Rota-Baxter algebras, differential algebras, and differential Rota-Baxter algebras.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-193738" status="VALID">
          <idno type="IdRef">111872227</idno>
          <idno type="ISNI">0000000403832988</idno>
          <idno type="RNSR">200511878U</idno>
          <idno type="ROR">https://ror.org/01ekw7f87</idno>
          <orgName>Institut Camille Jordan</orgName>
          <orgName type="acronym">ICJ</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>Bât. Jean Braconnier 43 bd du 11 novembre 1918 69622 VILLEURBANNE CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://math.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-126765" type="direct"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-219748" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300284" type="direct"/>
            <relation active="#struct-1327915" type="indirect"/>
            <relation name="UMR5208" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-521750" status="VALID">
          <orgName>Algèbre, géométrie, logique</orgName>
          <orgName type="acronym">AGL</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://math.univ-lyon1.fr/spip.php?article8</ref>
          </desc>
          <listRelation>
            <relation active="#struct-193738" type="direct"/>
            <relation active="#struct-126765" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-219748" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300284" type="indirect"/>
            <relation active="#struct-1327915" type="indirect"/>
            <relation name="UMR5208" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-126765" status="VALID">
          <idno type="ROR">https://ror.org/05s6rge65</idno>
          <orgName>École Centrale de Lyon</orgName>
          <orgName type="acronym">ECL</orgName>
          <desc>
            <address>
              <addrLine>36 avenue Guy de Collongue - 69134 Ecully cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-lyon.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-219748" status="VALID">
          <idno type="IdRef">052444724</idno>
          <idno type="ISNI">0000 0001 2292 0228</idno>
          <orgName>Institut National des Sciences Appliquées de Lyon</orgName>
          <orgName type="acronym">INSA Lyon</orgName>
          <date type="start">1957-03-18</date>
          <desc>
            <address>
              <addrLine>20 Avenue Albert Einstein, 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300284" status="VALID">
          <idno type="IdRef">028209966</idno>
          <idno type="ISNI">0000 0001 2158 1682</idno>
          <idno type="ROR">https://ror.org/04yznqr36</idno>
          <idno type="Wikidata">Q623154</idno>
          <orgName>Université Jean Monnet - Saint-Étienne</orgName>
          <orgName type="acronym">UJM</orgName>
          <date type="start">1969-03-27</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>10, Rue Tréfilerie – CS 8230142023 Saint-Étienne Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-st-etienne.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1327915" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1327915" status="VALID">
          <idno type="IdRef">285395831</idno>
          <orgName>Université Jean Monnet (EPSCPE)</orgName>
          <orgName type="acronym">UJM EPE</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>10 rue Tréfilerie42100 Saint-Etienne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-st-etienne.fr/fr/index.html</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>