@misc{indiciae3774477c661d, title = {Rational Dual Certificates for Weighted Sums-of-Squares Polynomials with Boundable Bit Size}, author = {Maria M. Davis and Dávid Papp}, year = {2023}, doi = {10.1016/j.jsc.2023.102254}, url = {https://arxiv.org/abs/2305.19039}, note = {Source identifier: 2305.19039} }