Track: DML (Chair: Volker Sorge))
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,000,000 pages, an amount easily manageable by current information technologies.
Track objective is to provide a forum for development of math-aware technologies, standards, algorithms and formats towards fulfillment of the dream of global digital mathematical library (DML). Computer scientists (D) and librarians of digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation.
Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building -- processing of math knowledge expressed in scientific papers in natural languages, namely:
DML track is an opportunity to share experience and best practices between projects in many areas (MKM, NLP, OCR, IR, DL, pattern recognition,...) that could change the paradigm for searching, accessing, and interacting with the mathematical corpus. The track is trans/interdisciplinary and contributions from any kind of people on any aspect of the DML building are welcome.
8th Conference on Intelligent Computer Mathematics
July 13-17, 2015
Washington DC, USA