Video From 16w5099: Interval Analysis and Constructive Mathematics

Wednesday, November 16, 2016 10:03 - 10:42
Non-determinism and partiality in realizability: Pure Gray code
Ulrich Berger, Video: Non-determinism and partiality in realizability: Pure Gray code
Ulrich Berger, Video: Non-determinism and partiality in realizability: Pure Gray code
Ulrich Berger, Non-determinism and partiality in realizability: Pure Gray code, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
150M
http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos

Download this video (150M)



Other videos from this workshop