<?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-01828619</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-15T10:57:07+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Abstract geometrical computation 8: Small machines, accumulations &amp; rationality</title>
            <author role="aut">
              <persName>
                <forename type="first">Florent</forename>
                <surname>Becker</surname>
              </persName>
              <email type="md5">389df499c1cd1d8ee270f3e98f53d387</email>
              <email type="domain">ens-lyon.org</email>
              <idno type="idhal" notation="string">florent-becker</idno>
              <idno type="idhal" notation="numeric">1460</idno>
              <idno type="halauthorid" notation="string">300564-1460</idno>
              <affiliation ref="#struct-1625"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jérôme</forename>
                <surname>Durand-Lose</surname>
              </persName>
              <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">jerome-durandlose</idno>
              <idno type="idhal" notation="numeric">15640</idno>
              <idno type="halauthorid" notation="string">14153-15640</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6506-074X</idno>
              <idno type="IDREF">https://www.idref.fr/18037821X</idno>
              <affiliation ref="#struct-241078"/>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Levorato</surname>
              </persName>
              <email type="md5">4435e086743ea3befb79a34e41ad012b</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="numeric">867649</idno>
              <idno type="halauthorid" notation="string">445217-867649</idno>
              <affiliation ref="#struct-1625"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mathieu</forename>
                <surname>Chapelle</surname>
              </persName>
              <email type="md5">24558895f6c2eaeb9b8edc631c7741e2</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="numeric">917513</idno>
              <idno type="halauthorid" notation="string">408266-917513</idno>
              <affiliation ref="#struct-241078"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maxime</forename>
                <surname>Senot</surname>
              </persName>
              <email type="md5">49d5459a93cfdb4de7159f0f97c5e75b</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="numeric">867038</idno>
              <idno type="halauthorid" notation="string">441601-867038</idno>
              <affiliation ref="#struct-1625"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jérôme</forename>
                <surname>Durand-Lose</surname>
              </persName>
              <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
              <email type="domain">univ-orleans.fr</email>
            </editor>
            <funder ref="#projanr-31126"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-07-03 12:07:55</date>
              <date type="whenWritten">2018</date>
              <date type="whenModified">2024-08-21 03:04:20</date>
              <date type="whenReleased">2018-07-03 12:07:55</date>
              <date type="whenProduced">2018</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1307.6468"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="110413">
                <persName>
                  <forename>Jérôme</forename>
                  <surname>Durand-Lose</surname>
                </persName>
                <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
                <email type="domain">univ-orleans.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01828619</idno>
            <idno type="halUri">https://hal.science/hal-01828619</idno>
            <idno type="halBibtex">becker:hal-01828619</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Computer and System Sciences&lt;/i&gt;, 2018, 97, pp.182-198. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.jcss.2018.06.001"&gt;&amp;#x27E8;10.1016/j.jcss.2018.06.001&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Computer and System Sciences, 2018, 97, pp.182-198. &amp;#x27E8;10.1016/j.jcss.2018.06.001&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</idno>
            <idno type="stamp" n="ENSI-BOURGES">Ecole Nationale Supérieure d'Ingénieurs de Bourges</idno>
            <idno type="stamp" n="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</idno>
            <idno type="stamp" n="MSL">Modelisation Systemes Langages</idno>
            <idno type="stamp" n="MSL-THESE">Modelisation Systemes Langages</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="X-SACLAY" corresp="UNIV-PARIS-SACLAY">X-SACLAY</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="INSA-CVL">INSA CENTRE VAL DE LOIRE</idno>
            <idno type="stamp" n="ANR">ANR</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">Abstract geometrical computation 8: Small machines, accumulations &amp; rationality</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Florent</forename>
                    <surname>Becker</surname>
                  </persName>
                  <email type="md5">389df499c1cd1d8ee270f3e98f53d387</email>
                  <email type="domain">ens-lyon.org</email>
                  <idno type="idhal" notation="string">florent-becker</idno>
                  <idno type="idhal" notation="numeric">1460</idno>
                  <idno type="halauthorid" notation="string">300564-1460</idno>
                  <affiliation ref="#struct-1625"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jérôme</forename>
                    <surname>Durand-Lose</surname>
                  </persName>
                  <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">jerome-durandlose</idno>
                  <idno type="idhal" notation="numeric">15640</idno>
                  <idno type="halauthorid" notation="string">14153-15640</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6506-074X</idno>
                  <idno type="IDREF">https://www.idref.fr/18037821X</idno>
                  <affiliation ref="#struct-241078"/>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Levorato</surname>
                  </persName>
                  <email type="md5">4435e086743ea3befb79a34e41ad012b</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="numeric">867649</idno>
                  <idno type="halauthorid" notation="string">445217-867649</idno>
                  <affiliation ref="#struct-1625"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mathieu</forename>
                    <surname>Chapelle</surname>
                  </persName>
                  <email type="md5">24558895f6c2eaeb9b8edc631c7741e2</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="numeric">917513</idno>
                  <idno type="halauthorid" notation="string">408266-917513</idno>
                  <affiliation ref="#struct-241078"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maxime</forename>
                    <surname>Senot</surname>
                  </persName>
                  <email type="md5">49d5459a93cfdb4de7159f0f97c5e75b</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="numeric">867038</idno>
                  <idno type="halauthorid" notation="string">441601-867038</idno>
                  <affiliation ref="#struct-1625"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">15276</idno>
                <idno type="issn">0022-0000</idno>
                <idno type="eissn">1090-2724</idno>
                <title level="j">Journal of Computer and System Sciences</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">97</biblScope>
                  <biblScope unit="pp">182-198</biblScope>
                  <date type="datePub">2018</date>
                  <date type="dateEpub">2018-08-13</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1307.6468</idno>
              <idno type="doi">10.1016/j.jcss.2018.06.001</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Unconventional Computing</term>
                <term xml:lang="en">Signal Machine</term>
                <term xml:lang="en">Euclid's Algorithm</term>
                <term xml:lang="en">Euclidean Geometry</term>
                <term xml:lang="en">Accumulation</term>
                <term xml:lang="en">Abstract Geometrical Computation</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</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>     In the context of abstract geometrical computation, computing with coloured line segments, we consider the possibility of an accumulation-topologycal limit point of segment intersections/collisions-with small signal machines, i.e. having only a very limited number of distinct slopes/speeds when started with finitely many segments/signals. The cases of 2 and 4 speeds are trivial: no machine can produce an accumulation with only 2 speeds and an accumulation can be generated with 4 speeds. The main result is the twofold 3-speed case. No accumulation can happen when all ratios between speeds and all ratios between initial distances are rational. Accumulation is possible in the case of an irrational ratio between two speeds or of an irrational ratio between two distances in the initial configuration. This dichotomy is explained by the presence of a phenomenon computing Euclid's gcd algorithm: it stops if and only if its input is commensurable, i.e., of rational ratio. </p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1625" status="OLD">
          <idno type="IdRef">075434695</idno>
          <idno type="RNSR">200615274F</idno>
          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <date type="start">1987-01-01</date>
          <date type="end">2013-12-31</date>
          <desc>
            <address>
              <addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>
            <relation name="EA4022" active="#struct-300297" type="direct"/>
            <relation name="EA4022" active="#struct-300379" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-241078" status="VALID">
          <idno type="IdRef">075434695</idno>
          <idno type="RNSR">200615274F</idno>
          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>
            <relation name="EA 4022" active="#struct-300297" type="direct"/>
            <relation name="EA 4022" active="#struct-303079" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
          </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-300297" status="VALID">
          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000 0001 2158 1666</idno>
          <idno type="ROR">https://ror.org/014zrew76</idno>
          <orgName>Université d'Orléans</orgName>
          <orgName type="acronym">UO</orgName>
          <desc>
            <address>
              <addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300379" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303079" status="VALID">
          <idno type="IdRef">203592077</idno>
          <orgName>Institut National des Sciences Appliquées - Centre Val de Loire</orgName>
          <orgName type="acronym">INSA CVL</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>88 boulevard Lahitolle, CS 60013, 18022 Bourges cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-centrevaldeloire.fr/fr/</ref>
          </desc>
          <listRelation>
            <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-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>
        <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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-31126" status="VALID">
          <idno type="anr">ANR-09-BLAN-0159</idno>
          <idno type="program">Blanc</idno>
          <orgName>AGAPE</orgName>
          <desc>Algorithmes de graphes parametres et exacts</desc>
          <date type="start">2009</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>