Video: Hideki Tsuiki, "Gray/pre-Gray code and program extraction based on pre-Gray code"

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, 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

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

0 seconds of 0 secondsVolume 90%

00:00

This video file cannot be played.(Error Code: 224003)

Download this video (362M)