Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture : Can a Natural Number be Negative? / Yaroslav, Alekseev; Grigoriev, Dima; Hirsch, Edward; Tzameret, Iddo.

Proceedings of the 52th Annual ACM Symposium on the Theory of Computing (STOC), 2020. Vol. 52 Association for Computing Machinery (ACM), 2020.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Forthcoming

Documents

Links

Original languageEnglish
Title of host publicationProceedings of the 52th Annual ACM Symposium on the Theory of Computing (STOC), 2020
PublisherAssociation for Computing Machinery (ACM)
Number of pages56
Volume52
Publication statusAccepted/In press - 6 Feb 2020
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 36560296