Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets. - Maria M. Davis; Dávid Papp (SIAM J. Optim., 2022)

Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size. - Maria M. Davis; Dávid Papp (J. Symb. Comput., 2024)