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

56 p. 2019, Report.

Research output: Other contribution

Published
Original languageEnglish
TypeReport
Number of pages56
Publication statusPublished - 10 Sep 2019

ID: 34724499