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

STOC 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery (ACM), 2020. p. 54-67.

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

Published

Documents

Links

Original languageEnglish
Title of host publicationSTOC 2020
Subtitle of host publicationProceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing
PublisherAssociation for Computing Machinery (ACM)
Pages54-67
Number of pages14
ISBN (Electronic)978-1-4503-6979-4
DOIs
Publication statusPublished - Jun 2020
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 36560296