Track: Digital Mathematical Libraries
Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100 million pages, an amount easily manageable by current information technologies.
The track objective is to provide a forum for the development of math-aware technologies, standards, algorithms, and formats that can lead towards fulfilling the dream of a global Digital Mathematical Library. The DML track also serves as an interdisciplinary venue to share experience and best practices among projects in digital libraries, natural language processing, optical character recognition, pattern recognition, information retrieval, and other areas that could change the paradigm for creating, storing, preserving, searching, and interacting with a mathematical corpus.
Track topics span all aspects of DML creation, maintenance, and use, including (but not limited to):
All accepted papers will address problems that arise specifically in the context of mathematical content. Nevertheless, authors of contributions that rely on sophisticated mathematical knowledge and algorithms might consider submitting their papers to the Mathematical Knowledge Management (MKM) track. Authors who wish to describe prototype DML systems and projects might consider submitting complementary papers to the Systems and Data track. All tracks are reviewed and published together.
16th Conference on Intelligent Computer Mathematics
September 4 – 8, 2023
- Submission deadline extended
- 5 workshops accepted
- Invited Speakers confirmed
- 2nd Call for Papers posted
- Call for Workshops posted
- Initial website online