Track: DML (Chair: Volker Sorge))Mathematicians dream of a digital archive containing all peerreviewed 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 mathaware 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. 
8^{th} Conference on Intelligent Computer Mathematics
CICM 2015
July 1317, 2015
Washington DC, USA
You must enable JavaScript to use this site

News
 Please participate in the online survey
 WorkinProgress informal proceedings online
 Springer proceedings available online
 Travel information available