Real ideal and the duality of semidefinite programming for polynomial optimization

Yoshiyuki Sekiguchi, Tomoyuki Takenawa, Hayato Waki

We study the ideal generated by polynomials vanishing on a semialgebraic set and propose an algorithm to calculate the generators, which is based on some techniques of the cylindri…