Video From 16w5099: Interval Analysis and Constructive Mathematics

Thursday, November 17, 2016 10:19 - 10:53
Interval arithmetic, real analysis, and formal proofs
Guillaume Melquiond, Video: Interval arithmetic, real analysis, and formal proofs
Guillaume Melquiond, Video: Interval arithmetic, real analysis, and formal proofs
Guillaume Melquiond, Interval arithmetic, real analysis, and formal proofs, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
286M
http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos
Interval arithmetic, real analysis, and formal proofs
Guillaume Melquiond at 16w5099: Interval Analysis and Constructive Mathematics on Thursday, November 17, 2016
0 seconds of 0 secondsVolume 0%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (286M)



Other videos from this workshop