reports

(2016.11.15 10:00am N204)Stephen M. Watt(University of Waterloo):Challenges in Building a Global Digital Mathematics Library

Time:2016-11-10  Source:KLMM

 Title               Challenges in Building a Global Digital Mathematics Library 

       Speaker         Stephen M. WattUniversity of Waterloo

Time&Venue 2016.11.15  10:00am  N204

      Abstract:            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.  
相关附件
相关文档