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

Mathematical Knowledge at Scale

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2022, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity