Video: Aaron Potechin, "Sum of Squares Bounds for the Ordering Principle"

Video From 20w5144: Proof Complexity

Aaron Potechin, University of Chicago

Tuesday, January 21, 2020 16:01 - 16:31

Sum of Squares Bounds for the Ordering Principle

Aaron Potechin, Video: Sum of Squares Bounds for the Ordering Principle

Aaron Potechin, Sum of Squares Bounds for the Ordering Principle, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

161M

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

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

Sum of Squares Bounds for the Ordering Principle

Aaron Potechin at 20w5144: Proof Complexity on Tuesday, January 21, 2020

0 seconds of 0 secondsVolume 90%

00:00