Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret. Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?. In Konstantin Makarychev, Yury Makarychev, Madhur Tulsiani, Gautam Kamath 0001, Julia Chuzhoy, editors, Proccedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, Chicago, IL, USA, June 22-26, 2020. pages 54-67, ACM, 2020. [doi]
Abstract is missing.