arXiv:1603.01183math.DS
Solving systems of polynomial inequalities with algebraic geometry methods
Abstract
The goal of this paper is to provide computational tools able to find a solution of a system of polynomial inequalities. The set of inequalities is reformulated as a system of polynomial equations. Three different methods, two of which taken from the literature, are proposed to compute solutions of such a system. An example of how such procedures can be used to solve the static output feedback stabilization problem for a linear parametrically-varying system is reported.
It seems that you can reformulate inequalities into equalities and solve the system: https://arxiv.org/pdf/1603.01183.pdf
ransac9000View on HNParent context