<?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-01237922</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-20T03:17:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Algorithmes efficaces en géométrie algébrique réelle</title>
            <author role="aut">
              <persName>
                <forename type="first">Mohab</forename>
                <surname>Safey El Din</surname>
              </persName>
              <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">safey</idno>
              <idno type="idhal" notation="numeric">731</idno>
              <idno type="halauthorid" notation="string">2144-731</idno>
              <idno type="IDREF">https://www.idref.fr/180664549</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/CPK-3689-2022</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9463-1257</idno>
              <idno type="VIAF">https://viaf.org/viaf/313567630</idno>
              <affiliation ref="#struct-179805"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Mohab</forename>
                <surname>Safey El Din</surname>
              </persName>
              <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-12-04 06:21:55</date>
              <date type="whenModified">2025-02-26 15:24:03</date>
              <date type="whenReleased">2015-12-04 06:21:55</date>
              <date type="whenProduced">2015</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="113611">
                <persName>
                  <forename>Mohab</forename>
                  <surname>Safey El Din</surname>
                </persName>
                <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01237922</idno>
            <idno type="halUri">https://inria.hal.science/hal-01237922</idno>
            <idno type="halBibtex">safeyeldin:hal-01237922</idno>
            <idno type="halRefHtml">&lt;i&gt;Informatique Mathématique Une photographie en 2015&lt;/i&gt;, CNRS Editions, 2015, 978-2-271-08791-1</idno>
            <idno type="halRef">Informatique Mathématique Une photographie en 2015, CNRS Editions, 2015, 978-2-271-08791-1</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</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="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="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="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Algorithmes efficaces en géométrie algébrique réelle</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohab</forename>
                    <surname>Safey El Din</surname>
                  </persName>
                  <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">safey</idno>
                  <idno type="idhal" notation="numeric">731</idno>
                  <idno type="halauthorid" notation="string">2144-731</idno>
                  <idno type="IDREF">https://www.idref.fr/180664549</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/CPK-3689-2022</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9463-1257</idno>
                  <idno type="VIAF">https://viaf.org/viaf/313567630</idno>
                  <affiliation ref="#struct-179805"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-2-271-08791-1</idno>
                <title level="m">Informatique Mathématique Une photographie en 2015</title>
                <imprint>
                  <publisher>CNRS Editions</publisher>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>En calcul scientifique, la résolution de problèmes algébriques non linéaires est une t\^ache importante et difficile.  Dans plusieurs domaines de  l'ingénierie, les problèmes algébriques encodent des contraintes géométriques sur des variables à valeurs réelles.  C'est ainsi qu'il est fréquent de  chercher à obtenir des informations sur l'ensemble des solutions réelles d'un système polynomial.  La complexité théorique de la résolution de ces problèmes est souvent simplement exponentielle par rapport au nombre de variables. Les algorithmes initialement proposés dans cette classe de complexité se sont révélés inexploitables en pratique.  Ainsi, jusque récemment, la plupart des logiciels mettent en œuvre des algorithmes dont la complexité est doublement exponentielle par rapport au nombre de variables.  De plus, la nature non linéaire des problèmes considérés fait qu'il est difficile d'utiliser des méthodes numériques tout en garantissant  l'exactitude du résultat fourni. Cela encourage l'utilisation de méthodes issues du calcul formel.  Dans ce contexte, il s'agit alors de développer des algorithmes exacts, de contrôler adéquatement leur complexité, de les  implémenter efficacement et cerner les spécifications les plus utiles.  Ce cours présente des idées récentes guidées par des principes géométriques.  Elles sont à la base d'algorithmes simplement exponentiels, parfois sous des hypothèses de généricité supplémentaires, et d'implémentations qui reflètent en pratique ces complexités. Nous étudierons plusieurs problèmes:  calcul d'une solution d'un système  d'équations algébriques multivariées, le problème de décider si deux points  sont dans la même composante connexe  et un cas particulier de l'élimination des quantificateurs.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-179805" status="OLD">
          <idno type="RNSR">201221011R</idno>
          <orgName>Polynomial Systems</orgName>
          <orgName type="acronym">PolSys</orgName>
          <date type="start">2012-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/polsys</ref>
          </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="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="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-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="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>
      </listOrg>
    </back>
  </text>
</TEI>