Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative? - researchr publication

researchr

You are not signed in
Sign in
Sign up

Yaroslav Alekseev, Dima Grigoriev, Edward Hirsch, Iddo Tzameret. Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?. Electronic Colloquium on Computational Complexity (ECCC), 26:142, 2019. [doi]

Abstract is missing.

runs on WebDSL