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]
@article{AlekseevGHT19,
title = {Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?},
author = {Yaroslav Alekseev and Dima Grigoriev and Edward Hirsch and Iddo Tzameret},
year = {2019},
url = {https://eccc.weizmann.ac.il/report/2019/142},
researchr = {https://researchr.org/publication/AlekseevGHT19},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {26},
pages = {142},
}