CCIMI Launch - Will Automatic Theorem Proving Ever Help Mathematicians? Tim Gowers
Duration: 40 mins 5 secs
| Description: | Tim Gowers, DPMMS, presents on 'Will Automatic Theorem Proving Ever Help Mathematicians?' as part of the CCIMI event, 'New Directions in the Mathematics of Information'. |
|---|
| Created: | 2016-11-21 17:37 | ||
|---|---|---|---|
| Collection: | CCIMI | ||
| Publisher: | University of Cambridge | ||
| Copyright: | Rachel Furner | ||
| Language: | eng (English) | ||
| Credits: |
|
||
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video | 640x360 | 261.91 kbits/sec | 76.89 MB | View | Download | |
| WebM | 640x360 | 198.74 kbits/sec | 58.35 MB | View | Download | |
| iPod Video | 480x270 | 518.16 kbits/sec | 152.12 MB | View | Download | |
| MP3 | 44100 Hz | 249.75 kbits/sec | 73.39 MB | Listen | Download | |
| Auto * | (Allows browser to choose a format it supports) | |||||