TY  - RPRT
TI  - Rational Dual Certificates for Weighted Sums-of-Squares Polynomials with Boundable Bit Size
AU  - Maria M. Davis
AU  - Dávid Papp
PY  - 2023
DO  - 10.1016/j.jsc.2023.102254
UR  - https://arxiv.org/abs/2305.19039
ID  - 2305.19039
ER  -