New Challenges with Large Proofs in the wake of the Formal Proof of the Kepler Conjecture
Available formats
The following formats are available for viewing.
19
views
MPEG-4 Video
(360p quality for
download)
-
download
File size: 253.03 MB
Width: 640, Height: 360 Duration: 32 mins 34 secs Frame rate: 25.0 fps, Sample rate: 44100 Hz Average bitrate: 1.03 Mbits/sec |
|
3
views
WebM
(360p quality for
download)
-
download
File size: 76.98 MB
Width: 640, Height: 360 Duration: 32 mins 35 secs Frame rate: 25.0 fps, Sample rate: 44100 Hz Average bitrate: 322.58 kbits/sec |
|
0
views
iPod Video
(high quality for
download)
-
download
File size: 124.01 MB
Width: 480, Height: 270 Duration: 32 mins 34 secs Frame rate: 25.0 fps, Sample rate: 44100 Hz Average bitrate: 519.91 kbits/sec |
|
2
views
MP3
(high quality for
download)
-
download
File size: 59.66 MB
Duration: 32 mins 36 secs Sample rate: 44100 Hz Average bitrate: 249.85 kbits/sec |