Mathematical Knowledge at Scale

Add to your list(s) Download to your calendar using vCal

• Stephen Watt (University of Waterloo)
• Monday 10 July 2017, 16:00-17:00
• Seminar Room 1, Newton Institute.

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:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.