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

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