Video: Angus Macintyre, "Schanuel's Conjecture: Constructive Aspects"

Video From 16w5099: Interval Analysis and Constructive Mathematics

Angus Macintyre, University of Edinburgh

Friday, November 18, 2016 11:15 - 12:06

Schanuel's Conjecture: Constructive Aspects

Angus Macintyre, Video: Schanuel's Conjecture: Constructive Aspects

Angus Macintyre, Schanuel's Conjecture: Constructive Aspects, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video

Banff International Research Station

presentation

mpeg4

176M

http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos

http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611181115-Macintyre.html

Schanuel's Conjecture: Constructive Aspects

Angus Macintyre at 16w5099: Interval Analysis and Constructive Mathematics on Friday, November 18, 2016

0 seconds of 0 secondsVolume 0%

00:00

Download this video (176M)