@misc{indiciae08bf1ce9fa2b, title = {Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus}, author = {Tuomas Hakoniemi}, year = {2021}, url = {https://arxiv.org/abs/2105.07525}, note = {Source identifier: 2105.07525} }