Corpus ID: 15785207

Deciding Nonnegativity of Polynomials by MAPLE

@article{Yang2013DecidingNO,
  title={Deciding Nonnegativity of Polynomials by MAPLE},
  author={L. Yang and Bican Xia},
  journal={ArXiv},
  year={2013},
  volume={abs/1306.4059}
}

L. Yang, Bican Xia

Published 2013

Mathematics, Computer Science

ArXiv

There have been some effective tools for solving (constant/parametric) semi-algebraic systems in Maple's library RegularChains since Maple 13. By using the functions of the library, e.g., RealRootClassfication, one can prove and discover polynomial inequalities. This paper is more or less a user guide on using RealRootClassfication to prove the nonnegativity of polynomials. We show by examples how to use this powerful tool to prove a polynomial is nonnegative under some polynomial inequality… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed