Video: Mark Bickford, "Formalized Brouwerian Real Analysis using the Nuprl proof assistant"

Video From 16w5099: Interval Analysis and Constructive Mathematics

Tuesday, November 15, 2016 16:15 - 17:00

Formalized Brouwerian Real Analysis using the Nuprl proof assistant

Mark Bickford, Video: Formalized Brouwerian Real Analysis using the Nuprl proof assistant

Mark Bickford, Formalized Brouwerian Real Analysis using the Nuprl proof assistant, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video

Banff International Research Station

presentation

mpeg4

198M

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

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

Download this video (198M)