Title: Semialgebraic Proofs and Efficient Algorithm Design