Developing a 21st Century Global Library for Mathematics Research
Committee on Planning a Global Library of the Mathematical Sciences, (Board on Mathematical Sciences, Their Applications, Division on, Engineering, Physical Sciences, National Research Council of the National, Academies)

TL;DR
This paper proposes establishing a global digital mathematics library that combines machine learning and community input to enhance access, organization, and exploration of mathematical literature worldwide.
Contribution
It introduces a comprehensive plan for creating a 21st-century mathematical library leveraging community efforts and advanced technologies, building on existing initiatives like the World Digital Mathematical Library.
Findings
Proposes a organizational framework for a global mathematical library.
Suggests integrating machine learning with community curation.
Highlights the importance of partnerships with publishers.
Abstract
Developing a 21st Century Global Library for Mathematics Research discusses how information about what the mathematical literature contains can be formalized and made easier to express, encode, and explore. Many of the tools necessary to make this information system a reality will require much more than indexing and will instead depend on community input paired with machine learning, where mathematicians' expertise can fill the gaps of automatization. This report proposes the establishment of an organization; the development of a set of platforms, tools, and services; the deployment of an ongoing applied research program to complement the development work; and the mobilization and coordination of the mathematical community to take the first steps toward these capabilities. The report recommends building on the extensive work done by many dedicated individuals under the rubric of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics, Computing, and Information Processing · Scientific Computing and Data Management
