New Challenges with Large Proofs in the wake of the Formal Proof of the Kepler Conjecture
32 mins 34 secs,
124.01 MB,
iPod Video
480x270,
25.0 fps,
44100 Hz,
519.91 kbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Hales, T
Wednesday, July 19, 2017 - 12:15 to 12:50 |
|---|
| Created: | 2017-08-02 15:15 |
|---|---|
| Collection: | - Latest Videos - |
| Publisher: | Isaac Newton Institute |
| Copyright: | Hales, T |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video | 640x360 | 1.03 Mbits/sec | 253.03 MB | View | Download | |
| WebM | 640x360 | 322.58 kbits/sec | 76.98 MB | View | Download | |
| iPod Video * | 480x270 | 519.91 kbits/sec | 124.01 MB | View | Download | |
| MP3 | 44100 Hz | 249.85 kbits/sec | 59.66 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||