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.
15th Conference on Intelligent Computer Mathematics
September 19 - 23, 2022
Tbilisi, Georgia (hybrid event)
- Proceedings are freely accessible from CICM Web page between Sept 19-Oct 31.
- Proceedings are online
- The program is online
- Kickoff Meeting on EuroProofNet Libraries at CICM
- Special registration option for online participation
- Accepted papers are online
- Registration is open to all CLAS'22 events, including CICM
- Submission deadlines extended
- CICM will be a hybrid event
- Springer LNAI proceedings confirmed
- PC and dates online
- Initial website online