Video From 16w5099: Interval Analysis and Constructive Mathematics

Tuesday, November 15, 2016 16:15 - 17:00
Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Mark Bickford, Video: Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Mark Bickford, Video: Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Mark Bickford, Formalized Brouwerian Real Analysis using the Nuprl proof assistant, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
198M
http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 
This video file cannot be played.(Error Code: 224003)

Download this video (198M)

Other videos from this workshop