首页| English| 中国科学院

Challenges in Building a Global Digital Mathematics Library

副标题:

时间:2016-11-10  来源:数学机械化重点实验室

题目:            Challenges in Building a Global Digital Mathematics Library 

报告人:       Stephen M. WattUniversity of Waterloo

时间地点:    2016.11.15  10:00am  N204

摘要:           Unlike most other fields, much of mathematical knowledge has a high degree of objectivity and precision. This both gives it permanent utility and makes it susceptible to mechanized treatment. We outline the technical and organizational challenges in assembling the world’s mathematical knowledge in a form that is most useful. While such a collection will initially be in the form of a comprehensive digital library of page images, we expect evolution toward a knowledge base supporting sophisticated queries and automated reasoning. It is the aim of the nascent International Mathematical Knowledge Trust to provide a framework and to foster a community to make progress in this direction. We can foresee that such a knowledge base will enhance the capacity of individual mathematicians, accelerate discovery and allow new kinds of collaboration.   

相关附件
相关文档