Verifying Global Optimality of Candidate Solutions to Polynomial Optimization Problems using a Determinant Relaxation Hierarchy. - Sikun Xu; Ruoyi Ma; Daniel K. Molzahn; Hassan L. Hijazi; Cédric Josz (CDC, 2021)