DML 2009 Towards a Digital Mathematics Library

Mathematicians dream of a digital archive containing all peer-reviewed mathematical
literature ever published, properly linked and validated/verified. The objectives of
DML workshop were 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: “Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians
can use in their everyday work?”.


The 12 contributions trying to tackle these tasks and answer similar questions
are divided into five parts in this book:

1. Towards Digital Mathematics Library,
2. Towards Mathematical OCR and Search,
3. Digitization Reports,
4. Digitization Technologies and Platforms and
5. Tools and Techniques.