Video From 20w5144: Proof Complexity
Noah Fleming, University of Toronto
Monday, January 20, 2020 10:02 - 10:56
Semialgebraic Proofs and Efficient Algorithm Design
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.