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
Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Mark Bickford at 16w5099: Interval Analysis and Constructive Mathematics on Tuesday, November 15, 2016
0 seconds of 0 secondsVolume 0%
Press shift question mark to access a list of keyboard shortcuts
Keyboard Shortcuts
Shortcuts Open/Close/ or ?
Play/PauseSPACE
Increase Volume↑
Decrease Volume↓
Seek Forward→
Seek Backward←
Captions On/Offc
Fullscreen/Exit Fullscreenf
Mute/Unmutem
Decrease Caption Size-
Increase Caption Size+ or =
Seek %0-9
