Publication

On Semi-Algebraic Proofs and Algorithms