Track C: DML (Chair: Petr Sojka)

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.

Following the success of DML 2008, DML 2009 DML 2010, and DML 2011 the track objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as:

• What technologies, standards, algorithms and formats should be used and what metadata should be shared?
• What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions?
• Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work?
• What is the best practice for
  • retrodigitized mathematics (from images via OCR to MathML or TeX);
  • retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML or TeX);
  • born-digital mathematics (publishing workflow and tools)?

DML is an opportunity to share experience and best practices between projects in any area (MKM, NLP, OCR, pattern recognition, whatever) 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.