<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-016-14-1912</article-id>
      <article-id pub-id-type="publisher-id">29741</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.2.1 - Numerical Algorithms and Problems</subject>
          <subject>G.1.5 - Roots of Nonlinear Equations</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>A Heuristic Approach to Positive Root Isolation for Multiple Power Sums</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Xu</surname>
            <given-names>Ming</given-names>
          </name>
          <email xlink:type="simple">mingxu_12903@hotmail.com</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Mu</surname>
            <given-names>Chuandong</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Zeng</surname>
            <given-names>Zhenbing</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Li</surname>
            <given-names>Zhi-bin</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Chinese Academy of Sciences, Beijing, China</addr-line>
        <institution>Chinese Academy of Sciences</institution>
        <addr-line content-type="city">Beijing</addr-line>
        <country>China</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">East China Normal University, Shanghai, China</addr-line>
        <institution>East China Normal University</institution>
        <addr-line content-type="city">Shanghai</addr-line>
        <country>China</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Ming Xu (<email xlink:type="simple">mingxu_12903@hotmail.com</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2010</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>07</month>
        <year>2010</year>
      </pub-date>
      <volume>16</volume>
      <issue>14</issue>
      <fpage>1912</fpage>
      <lpage>1926</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/57F6354B-FBDE-55FE-94AB-228A24D8CD22">57F6354B-FBDE-55FE-94AB-228A24D8CD22</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7001321">7001321</uri>
      <permissions>
        <copyright-statement>Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>Given a multiple power sum (extending polynomial's exponents to real numbers), the positive root isolation problem is to find a list of disjoint intervals, satisfying that they contain all positive roots and each of them contains exactly distinct one. In this paper, we develop the pseudo-derivative sequences for multiple power sums, then generalize Fourier's theorem and Descartes' sign rule for them to overestimate the number of their positive roots. Furthermore we bring up some formulas of linear and quadratic complexity to compute complex root bounds and positive root bounds based on Descartes' sign rule and Cauchy's theorem. Besides, we advance a factorization method for multiple power sums with rational coefficients utilizing Q-linear independence, thus reduce the computational complexity in the isolation process. Finally we present an efficient algorithm to isolate all positive roots under any given minimum root separation.</p>
      </abstract>
    </article-meta>
  </front>
</article>
