English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Paper

Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

MPS-Authors
/persons/resource/persons73108

Sturm,  Thomas
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

arXiv:1804.09705.pdf
(Preprint), 173KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Hong, H., & Sturm, T. (2018). Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. Retrieved from http://arxiv.org/abs/1804.09705.


Cite as: https://hdl.handle.net/21.11116/0000-0002-5F54-6
Abstract
We consider systems of strict multivariate polynomial inequalities over the
reals. All polynomial coefficients are parameters ranging over the reals, where
for each coefficient we prescribe its sign. We are interested in the existence
of positive real solutions of our system for all choices of coefficients
subject to our sign conditions. We give a decision procedure for the existence
of such solutions. In the positive case our procedure yields a parametric
positive solution as a rational function in the coefficients. Our framework
allows to reformulate heuristic subtropical approaches for non-parametric
systems of polynomial inequalities that have been recently used in qualitative
biological network analysis and, independently, in satisfiability modulo theory
solving. We apply our results to characterize the incompleteness of those
methods.