Solving systems of polynomial inequalities with algebraic geometry methods

Laura Menini, Corrado Possieri, Antonio Tornambè

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 poly…