A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals

From MaRDI portal