Skip to Main content Skip to Navigation
Conference papers

Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

Hoon Hong 1 Thomas Sturm 2, 3, 4
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
4 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [44 references]  Display  Hide  Download
Contributor : Thomas Sturm Connect in order to contact the contributor
Submitted on : Monday, October 8, 2018 - 9:23:10 AM
Last modification on : Wednesday, November 3, 2021 - 8:09:45 AM
Long-term archiving on: : Wednesday, January 9, 2019 - 1:37:36 PM


Files produced by the author(s)




Hoon Hong, Thomas Sturm. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. CASC 2018 - International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.238 - 253, ⟨10.1007/978-3-319-99639-4_17⟩. ⟨hal-01889827⟩



Les métriques sont temporairement indisponibles