Track B: DML (Chair: Petr Sojka)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. 
Conferences on Intelligent Computer Mathematics
CICM 2014
7.11. July 2014
Coimbra, Portugal
You must enable JavaScript to use this site

News
 CICM 2015 will be in Washington DC
 Photos of CICM available here (All photos)
 CICM 2014 is over
 Slides of talks online
 Talks linked to the electronic publications
Last modified: December 19 2016 18:02:45 CET