Talk page

Title:
and Edward Hirsch: Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?

Speaker:
Iddo Tzameret

Link:
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211001-Hirsch.html

Workshop:
Birs- 20w5144: Proof Complexity