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. |