Video: Noah Fleming, "Semialgebraic Proofs and Efficient Algorithm Design"

Video From 20w5144: Proof Complexity

Noah Fleming, University of Toronto

Monday, January 20, 2020 10:02 - 10:56

Semialgebraic Proofs and Efficient Algorithm Design

Noah Fleming, Video: Semialgebraic Proofs and Efficient Algorithm Design

Noah Fleming, Semialgebraic Proofs and Efficient Algorithm Design, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

194M

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001201002-Fleming.html