Rational Dual Certificates for Weighted Sums-of-Squares Polynomials with Boundable Bit Size

Maria M. Davis, Dávid Papp

In (Davis and Papp, 2022), the authors introduced the concept of dual certificates of (weighted) sum-of-squares polynomials, which are vectors from the dual cone of weighted sums o…