Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs | Publicación