Video From 16w5099: Interval Analysis and Constructive Mathematics

Wednesday, November 16, 2016 09:15 - 09:59
Gray/pre-Gray code and program extraction based on pre-Gray code
Hideki Tsuiki, Video: Gray/pre-Gray code and program extraction based on pre-Gray code
Hideki Tsuiki, Video: Gray/pre-Gray code and program extraction based on pre-Gray code
Hideki Tsuiki, Gray/pre-Gray code and program extraction based on pre-Gray code, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
362M
http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos

Download this video (362M)

Other videos from this workshop