<?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-00778365</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-25T01:19:22+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="it">Variant Quantifier Elimination</title>
            <author role="aut">
              <persName>
                <forename type="first">Hoon</forename>
                <surname>Hong</surname>
              </persName>
              <email type="md5">3e351804a46f9c9e0e148bdf15d0ff0a</email>
              <email type="domain">ncsu.edu</email>
              <idno type="idhal" notation="numeric">935617</idno>
              <idno type="halauthorid" notation="string">587283-935617</idno>
              <orgName ref="#struct-306579"/>
              <affiliation ref="#struct-212103"/>
            </author>
            <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">2013-01-19 19:12:37</date>
              <date type="whenModified">2025-02-26 15:24:03</date>
              <date type="whenReleased">2013-01-20 09:42:30</date>
              <date type="whenProduced">2012</date>
              <date type="whenEndEmbargoed">2013-01-19</date>
              <ref type="file" target="https://inria.hal.science/hal-00778365v1/document">
                <date notBefore="2013-01-19"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://inria.hal.science/hal-00778365v1/file/vqe_jsc_final.pdf" id="file-778365-721046">
                <date notBefore="2013-01-19"/>
              </ref>
              <ref type="externalLink" target="https://doi.org/10.1016/j.jsc.2011.05.014"/>
            </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-00778365</idno>
            <idno type="halUri">https://inria.hal.science/hal-00778365</idno>
            <idno type="halBibtex">hong:hal-00778365</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Symbolic Computation&lt;/i&gt;, 2012, International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 47 (7), pp.883-901. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.jsc.2011.05.014"&gt;&amp;#x27E8;10.1016/j.jsc.2011.05.014&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Symbolic Computation, 2012, International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 47 (7), pp.883-901. &amp;#x27E8;10.1016/j.jsc.2011.05.014&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-778365-721046"/></licence>
            </availability>
          </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="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</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="it">Variant Quantifier Elimination</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Hoon</forename>
                    <surname>Hong</surname>
                  </persName>
                  <email type="md5">3e351804a46f9c9e0e148bdf15d0ff0a</email>
                  <email type="domain">ncsu.edu</email>
                  <idno type="idhal" notation="numeric">935617</idno>
                  <idno type="halauthorid" notation="string">587283-935617</idno>
                  <orgName ref="#struct-306579"/>
                  <affiliation ref="#struct-212103"/>
                </author>
                <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="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="serie">International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)</biblScope>
                  <biblScope unit="volume">47</biblScope>
                  <biblScope unit="issue">7</biblScope>
                  <biblScope unit="pp">883-901</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.jsc.2011.05.014</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <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>We describe an algorithm (VQE)\ for a \emph{variant} of the real quantifier elimination problem (QE). The variant problem requires the input to satisfy a certain \emph{extra condition}, and allows the output to be \emph{almost} equivalent to the input. The motivation/rationale for studying such a variant QE problem is that many quantified formulas arising in applications do satisfy the extra conditions. Furthermore, in most applications, it is sufficient that the output formula is almost equivalent to the input formula. The main idea underlying the algorithm is to substitute the repeated projection step of CAD by a single projection without carrying out a parametric existential decision over the reals. We find that the algorithm can tackle important and challenging problems, such as numerical stability analysis of the widely-used MacCormack's scheme. The problem has been practically out of reach for standard QE algorithms in spite of many attempts to tackle it. However the current implementation of VQE can solve it in about 12 hours. This paper extends the results reported at the conference ISSAC~2009.</p>
            </abstract>
            <particDesc>
              <org type="consortium">QOLAPS Associate Team Program</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-212103" status="INCOMING">
          <orgName>Departement of Mathematics</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-306579" type="direct"/>
            <relation active="#struct-566986" type="indirect"/>
          </listRelation>
        </org>
        <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="institution" xml:id="struct-306579" status="VALID">
          <idno type="ISNI">0000 0001 2173 6074</idno>
          <idno type="ROR">https://ror.org/04tj63d06</idno>
          <orgName>North Carolina State University [Raleigh]</orgName>
          <orgName type="acronym">NC State</orgName>
          <desc>
            <address>
              <addrLine>Raleigh, NC 27695</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://www.ncsu.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-566986" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-566986" status="VALID">
          <orgName>University of North Carolina System</orgName>
          <orgName type="acronym">UNC</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">https://www.northcarolina.edu</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="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>