<?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-01001820v3</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-18T22:25:05+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Univariate real root isolation over a single logarithmic extension of real algebraic numbers</title>
            <author role="aut">
              <persName>
                <forename type="first">Adam</forename>
                <surname>Strzebonski</surname>
              </persName>
              <email type="md5">ee934417df95be4d243a08051a6071ff</email>
              <email type="domain">wolfram.com</email>
              <idno type="idhal" notation="numeric">935336</idno>
              <idno type="halauthorid" notation="string">684399-935336</idno>
              <affiliation ref="#struct-351684"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Elias</forename>
                <surname>Tsigaridas</surname>
              </persName>
              <email type="md5">2574bcae9f1455fd6cf3833a1e5e5277</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">elias-tsigaridas</idno>
              <idno type="idhal" notation="numeric">690</idno>
              <idno type="halauthorid" notation="string">19773-690</idno>
              <affiliation ref="#struct-454675"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Elias</forename>
                <surname>Tsigaridas</surname>
              </persName>
              <email type="md5">2574bcae9f1455fd6cf3833a1e5e5277</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder ref="#projanr-15543"/>
            <funder ref="#projanr-13915"/>
            <funder ref="#projanr-31338"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2014-06-05 09:30:17</date>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2015-01-29 12:43:52</date>
            </edition>
            <edition n="v3" type="current">
              <date type="whenSubmitted">2016-12-24 08:26:01</date>
              <date type="whenWritten">2017</date>
              <date type="whenModified">2025-07-22 08:34:02</date>
              <date type="whenReleased">2016-12-27 17:01:38</date>
              <date type="whenProduced">2015-07-20</date>
              <date type="whenEndEmbargoed">2016-12-24</date>
              <ref type="file" target="https://inria.hal.science/hal-01001820v3/document">
                <date notBefore="2016-12-24"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01001820v3/file/st-rs-log%20%281%29.pdf" id="file-1422208-1507610">
                <date notBefore="2016-12-24"/>
              </ref>
              <ref type="file" subtype="author" n="0" target="https://inria.hal.science/hal-01001820v3/file/st-rs-log.pdf" id="file-1422208-1507609">
                <date notBefore="2016-12-24"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01001820/file/st-rs-log%20%281%29.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="114831">
                <persName>
                  <forename>Elias</forename>
                  <surname>Tsigaridas</surname>
                </persName>
                <email type="md5">2574bcae9f1455fd6cf3833a1e5e5277</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01001820</idno>
            <idno type="halUri">https://inria.hal.science/hal-01001820</idno>
            <idno type="halBibtex">strzebonski:hal-01001820</idno>
            <idno type="halRefHtml">&lt;i&gt;ACA 2015 - Applications of Computer Algebra&lt;/i&gt;, Jul 2015, Kalamata, Greece. pp.425-445, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-56932-1_27"&gt;&amp;#x27E8;10.1007/978-3-319-56932-1_27&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ACA 2015 - Applications of Computer Algebra, Jul 2015, Kalamata, Greece. pp.425-445, &amp;#x27E8;10.1007/978-3-319-56932-1_27&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1422208-1507610"/><ref corresp="#file-1422208-1507609"/></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="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="ANR">ANR</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="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Univariate real root isolation over a single logarithmic extension of real algebraic numbers</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Adam</forename>
                    <surname>Strzebonski</surname>
                  </persName>
                  <email type="md5">ee934417df95be4d243a08051a6071ff</email>
                  <email type="domain">wolfram.com</email>
                  <idno type="idhal" notation="numeric">935336</idno>
                  <idno type="halauthorid" notation="string">684399-935336</idno>
                  <affiliation ref="#struct-351684"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Elias</forename>
                    <surname>Tsigaridas</surname>
                  </persName>
                  <email type="md5">2574bcae9f1455fd6cf3833a1e5e5277</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">elias-tsigaridas</idno>
                  <idno type="idhal" notation="numeric">690</idno>
                  <idno type="halauthorid" notation="string">19773-690</idno>
                  <affiliation ref="#struct-454675"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Applications of Computer Algebra: July 20-23, 2015, Kalamata, Greece</title>
                <meeting>
                  <title>ACA 2015 - Applications of Computer Algebra</title>
                  <date type="start">2015-07-20</date>
                  <date type="end">2015-07-23</date>
                  <settlement>Kalamata</settlement>
                  <country key="GR">Greece</country>
                </meeting>
                <editor>Ilias S. Kotsireas</editor>
                <editor>Edgar Martínez-Moro</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Springer Proceedings in Mathematics &amp; Statistics</biblScope>
                  <biblScope unit="volume">198</biblScope>
                  <biblScope unit="pp">425-445</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-56932-1_27</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="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial B ∈ L[x], where L = Q[lg(α)] and α is a positive real algebraic number. The algorithm approximates the coefficients of B up to a sufficient accuracy and then solves the approximate polynomial. For this we derive worst case (aggregate) separation bounds. We also estimate the expected number of real roots when we draw the coefficients from a specific distribution and illustrate our results experimentally. A generalization to bivariate polynomial systems is also presented. We implemented the algorithm in C as part of the core library of mathematica for the case B ∈ Z[lg(q)][x] where q is positive rational number and we demonstrate its efficiency over various data sets.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-351684" status="VALID">
          <orgName>Wolfram Research</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">https://www.wolfram.com/company/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-454675" status="OLD">
          <idno type="RNSR">201221011R</idno>
          <orgName>Polynomial Systems</orgName>
          <orgName type="acronym">PolSys</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2017-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-454310" 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-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-15543" status="VALID">
          <idno type="anr">ANR-11-BS02-0013</idno>
          <orgName>HPAC</orgName>
          <desc>Calcul Algébrique Haute-Performance</desc>
          <date type="start">2011</date>
        </org>
        <org type="anrProject" xml:id="projanr-13915" status="VALID">
          <idno type="anr">ANR-11-BS03-0011</idno>
          <orgName>GEOLMI</orgName>
          <desc>Geométrie et algèbre des inégalités matricielles linéaires avec applications en commande</desc>
          <date type="start">2011</date>
        </org>
        <org type="anrProject" xml:id="projanr-31338" status="VALID">
          <idno type="anr">ANR-09-BLAN-0371</idno>
          <idno type="program">Blanc</idno>
          <orgName>EXACTA</orgName>
          <desc>Calcul exact ou certifié avec des systèmes algébriques</desc>
          <date type="start">2009</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>