Command Palette

Search for a command to run...

Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity | Researchclopedia