TY - RPRT TI - Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities AU - David Monniaux PY - 2009 UR - https://arxiv.org/abs/0901.4907 ID - 0901.4907 ER -