University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Mathematical Knowledge at Scale

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Mathematical Knowledge at Scale

Download to your calendar using vCal

If you have a question about this talk, please contact INI IT .

BPRW01 - Computer-aided mathematical proof

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.  

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

St John's College - Main Lecture Theatre Webinar & FW11, Computer Laboratory, William Gates Building. Seminar Room, Wolfson College (note change of venue)

Other talks

Content, Caching and Kubernetes: Performance and User Experience in the Browser Online Causal Inference Seminar Group Work Polar Oceans Seminar Talk Gastroenterology and Acute Medicine Group Work
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity