TY - RPRT TI - Solving systems of polynomial inequalities with algebraic geometry methods AU - Laura Menini AU - Corrado Possieri AU - Antonio Tornambè PY - 2016 UR - https://arxiv.org/abs/1603.01183 ID - 1603.01183 ER -