@misc{indiciae93f4fdf39ed4,
  title = {Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities},
  author = {David Monniaux},
  year = {2009},
  url = {https://arxiv.org/abs/0901.4907},
  note = {Source identifier: 0901.4907}
}