Mathematical Knowledge at Scale

1 hour 6 mins,  252.82 MB,  iPod Video  480x270,  29.97 fps,  44100 Hz,  523.0 kbits/sec
Share this media item:
Embed this media item:


About this item
Image inherited from collection
Description: Watt, S
Monday 10th July 2017 - 16:00 to 17:00
 
Created: 2017-07-26 11:50
Collection: Big proof
Publisher: Isaac Newton Institute
Copyright: Watt, S
Language: eng (English)
Distribution: World     (downloadable)
Explicit content: No
Aspect Ratio: 16:9
Screencast: No
Bumper: UCS Default
Trailer: UCS Default
 
Abstract: The world's largest organism is a clonal colony of quaking aspen in Utah, with some 40,000 trunks spanning 43 hectares and massing an estimated 6,000 metric tons. This is not a forest of individuals, but a single, living organism. We may think of mathematical knowledge in the same way. It is the goal of the International Mathematical Knowledge Trust (IMKT) to develop a global digital mathematics library, not as a comprehensive collection of individual articles, but as an integrated knowledge base, both for human readers and machine services. This talk presents the goals of the IMKT, the direction of its first steps, challenges to be overcome, and a long-term picture of scalable mathematical knowledge integration.
Available Formats
Format Quality Bitrate Size
MPEG-4 Video 640x360    1.94 Mbits/sec 962.75 MB View Download
WebM 640x360    642.93 kbits/sec 310.79 MB View Download
iPod Video * 480x270    523.0 kbits/sec 252.82 MB View Download
MP3 44100 Hz 250.51 kbits/sec 121.10 MB Listen Download
Auto (Allows browser to choose a format it supports)