<?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-01674494</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-20T10:10:22+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Solving generic nonarchimedean semidefinite programs using stochastic game algorithms</title>
            <author role="aut">
              <persName>
                <forename type="first">Xavier</forename>
                <surname>Allamigeon</surname>
              </persName>
              <email type="md5">aef2842c66f59fe07efc2d97bb9029a6</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">xavier-allamigeon</idno>
              <idno type="idhal" notation="numeric">16849</idno>
              <idno type="halauthorid" notation="string">20338-16849</idno>
              <idno type="IDREF">https://www.idref.fr/224370553</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0258-8018</idno>
              <affiliation ref="#struct-450091"/>
              <affiliation ref="#struct-89626"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stephane</forename>
                <surname>Gaubert</surname>
              </persName>
              <email type="md5">968c5e40f47dae596f29786f18220395</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">stephane-gaubert</idno>
              <idno type="idhal" notation="numeric">1887</idno>
              <idno type="halauthorid" notation="string">411890-1887</idno>
              <idno type="IDREF">https://www.idref.fr/104895306</idno>
              <affiliation ref="#struct-450091"/>
              <affiliation ref="#struct-89626"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mateusz</forename>
                <surname>Skomra</surname>
              </persName>
              <email type="md5">2bea5786a923f2d11f56334514194478</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">mateusz-skomra</idno>
              <idno type="idhal" notation="numeric">750658</idno>
              <idno type="halauthorid" notation="string">33015-750658</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5650-5559</idno>
              <affiliation ref="#struct-450091"/>
              <affiliation ref="#struct-89626"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Stephane</forename>
                <surname>Gaubert</surname>
              </persName>
              <email type="md5">968c5e40f47dae596f29786f18220395</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder ref="#projanr-37962"/>
            <funder ref="#projanr-35705"/>
            <funder ref="#projanr-36822"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-01-03 00:02:23</date>
              <date type="whenModified">2025-09-12 11:48:01</date>
              <date type="whenReleased">2018-01-03 00:02:23</date>
              <date type="whenProduced">2018</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1603.06916"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="402718">
                <persName>
                  <forename>Stephane</forename>
                  <surname>Gaubert</surname>
                </persName>
                <email type="md5">968c5e40f47dae596f29786f18220395</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01674494</idno>
            <idno type="halUri">https://inria.hal.science/hal-01674494</idno>
            <idno type="halBibtex">allamigeon:hal-01674494</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Symbolic Computation&lt;/i&gt;, 2018, 85, pp.25-54. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.jsc.2017.07.002"&gt;&amp;#x27E8;10.1016/j.jsc.2017.07.002&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Symbolic Computation, 2018, 85, pp.25-54. &amp;#x27E8;10.1016/j.jsc.2017.07.002&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="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</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="X-CMAP" corresp="X">Centre de Mathématiques Appliquées (CMAP)</idno>
            <idno type="stamp" n="X-DEP-MATHA">Département de mathématiques appliquées 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="CMAP">Centre de Mathématiques Appliquées (CMAP)</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="INRIA-SACLAY-2015" corresp="UNIV-PARIS-SACLAY">INRIA-SACLAY-2015</idno>
            <idno type="stamp" n="X-SACLAY" corresp="UNIV-PARIS-SACLAY">X-SACLAY</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du 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="commentary">An abridged version of this article appeared in the proceedings of ISSAC 2016</note>
            <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">Solving generic nonarchimedean semidefinite programs using stochastic game algorithms</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Xavier</forename>
                    <surname>Allamigeon</surname>
                  </persName>
                  <email type="md5">aef2842c66f59fe07efc2d97bb9029a6</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">xavier-allamigeon</idno>
                  <idno type="idhal" notation="numeric">16849</idno>
                  <idno type="halauthorid" notation="string">20338-16849</idno>
                  <idno type="IDREF">https://www.idref.fr/224370553</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0258-8018</idno>
                  <affiliation ref="#struct-450091"/>
                  <affiliation ref="#struct-89626"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stephane</forename>
                    <surname>Gaubert</surname>
                  </persName>
                  <email type="md5">968c5e40f47dae596f29786f18220395</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">stephane-gaubert</idno>
                  <idno type="idhal" notation="numeric">1887</idno>
                  <idno type="halauthorid" notation="string">411890-1887</idno>
                  <idno type="IDREF">https://www.idref.fr/104895306</idno>
                  <affiliation ref="#struct-450091"/>
                  <affiliation ref="#struct-89626"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mateusz</forename>
                    <surname>Skomra</surname>
                  </persName>
                  <email type="md5">2bea5786a923f2d11f56334514194478</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">mateusz-skomra</idno>
                  <idno type="idhal" notation="numeric">750658</idno>
                  <idno type="halauthorid" notation="string">33015-750658</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5650-5559</idno>
                  <affiliation ref="#struct-450091"/>
                  <affiliation ref="#struct-89626"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">16278</idno>
                <idno type="issn">0747-7171</idno>
                <idno type="eissn">1095-855X</idno>
                <title level="j">Journal of Symbolic Computation</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">85</biblScope>
                  <biblScope unit="pp">25-54</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1603.06916</idno>
              <idno type="doi">10.1016/j.jsc.2017.07.002</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="math.math-oc">Mathematics [math]/Optimization and Control [math.OC]</classCode>
              <classCode scheme="halDomain" n="math.math-ag">Mathematics [math]/Algebraic Geometry [math.AG]</classCode>
              <classCode scheme="halDomain" n="math.math-co">Mathematics [math]/Combinatorics [math.CO]</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>A general issue in computational optimization is to develop combinatorial algorithms for semidefinite programming. We address this issue when the base field is nonarchimedean. We provide a solution for a class of semidefinite feasibility problems given by generic matrices. Our approach is based on tropical geometry. It relies on tropical spectrahedra, which are defined as the images by the valuation of nonarchimedean spectrahedra. We establish a correspondence between generic tropical spectrahedra and zero-sum stochastic games with perfect information. The latter have been well studied in algorithmic game theory. This allows us to solve nonarchimedean semidefinite feasibility problems using algorithms for stochastic games. These algorithms are of a combinatorial nature and work for large instances.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-450091" status="VALID">
          <idno type="RNSR">201621988K</idno>
          <idno type="ROR">https://ror.org/04fvec703</idno>
          <orgName>Méthodes tropicales: structures, algorithmes et interactions</orgName>
          <orgName type="acronym">TROPICAL</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2026-12-31</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d'Estienne d'Orves91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/tropical</ref>
          </desc>
          <listRelation>
            <relation active="#struct-89626" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-300340" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7641" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1225635" type="direct"/>
            <relation active="#struct-118511" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-89626" status="VALID">
          <idno type="IdRef">197373461</idno>
          <idno type="ISNI">000000010944436X</idno>
          <idno type="RNSR">199719340P</idno>
          <idno type="ROR">https://ror.org/012e1xn46</idno>
          <idno type="Wikidata">Q16008922</idno>
          <orgName>Centre de Mathématiques Appliquées de l'Ecole polytechnique</orgName>
          <orgName type="acronym">CMAP</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://cmap.ip-paris.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7641" active="#struct-441569" 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-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>
        <org type="department" xml:id="struct-1225635" status="VALID">
          <idno type="ROR">https://ror.org/026839t73</idno>
          <orgName>Centre Inria de l'Institut Polytechnique de Paris</orgName>
          <date type="start">2022-11-01</date>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'Orves –Bâtiment Alan Turing –Campus de l'École Polytechnique –91120 Palaiseau</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>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-37962" status="VALID">
          <idno type="anr">ANR-11-LABX-0056</idno>
          <idno type="program">Centres d'excellences</idno>
          <orgName>LMH</orgName>
          <desc>LabEx Mathématique Hadamard</desc>
          <date type="start">2011</date>
        </org>
        <org type="anrProject" xml:id="projanr-35705" status="VALID">
          <idno type="anr">ANR-12-INSE-0007</idno>
          <idno type="program">Ingénierie Numérique et Sécurité</idno>
          <orgName>CAFEIN</orgName>
          <desc>Combinaison d'approches formelles pour l'étude d'invariants numériques</desc>
          <date type="start">2012</date>
        </org>
        <org type="anrProject" xml:id="projanr-36822" status="VALID">
          <idno type="anr">ANR-13-INSE-0003</idno>
          <idno type="program">Ingénierie Numérique et Sécurité</idno>
          <orgName>MALTHY</orgName>
          <desc>Méthodes ALgèbriques pour la vérification de modèles Temporisés et HYbrides</desc>
          <date type="start">2013</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>