TY  - RPRT
TI  - A certificate for semidefinite relaxations in computing positive dimensional real varieties
AU  - Yue Ma
AU  - Chu Wang
AU  - Lihong Zhi
PY  - 2012
UR  - https://arxiv.org/abs/1212.4924
ID  - 1212.4924
ER  -