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

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