A certificate for semidefinite relaxations in computing positive dimensional real varieties

Yue Ma, Chu Wang, Lihong Zhi

For an ideal I with a positive dimensional real variety, based on moment relaxations, we study how to compute a Pommaret basis which is simultaneously a Groebner basis of an ideal…