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

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]

Authors

Yaroslav Alekseev

This author has not been identified. Look up 'Yaroslav Alekseev' in Google

Dima Grigoriev

This author has not been identified. Look up 'Dima Grigoriev' in Google

Edward Hirsch

This author has not been identified. Look up 'Edward Hirsch' in Google

Iddo Tzameret

This author has not been identified. Look up 'Iddo Tzameret' in Google