DML 2008 workshop

Towards Digital Mathematics Library

July 27th, 2008, Birmingham, UK c/o CICM/MKM 2008

News | Objectives | Programme | Deadlines | Submissions | Proceedings | Keynote | Topics | Committees | Accommodation | Travel | Registration

to the top News

to the top Objectives

Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/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.

The workshop's 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:

to the top Deadlines

to the top Submissions

Every submission was refereed by three PC members on the basis of technical quality, novelty, potential impact for building DML, and clarity.

Submission categories:

Full paper: 4-12 LNCS pages
Short paper/poster/demo/work in progress report: 1-4 LNCS pages

to the top Proceedings

was published (194 pages with author, name and subject indexes) by Masaryk University (ISBN 978-80-210-4658-0). You may order it from this e-shop. Best papers were chosen for a journal issue of Mathematics in Computer Science: [CFP, MCS Vol 3, issue 3].

Papers and Posters accepted for publication and presentation:

Part I Towards Digital Mathematics Library

* Some Thoughts on the Near-Future Digital Mathematics Library
    Thierry Bouche (Université de Grenoble I, France)
* From Pixels and Minds to the Mathematical Knowledge in a Digital Library
    Petr Sojka (Masaryk University, Brno, Czech Republic)
    Jiří Rákosník (Institute of Mathematics AS CR, Praha, Czech Republic)
* Mathematical Document Classification via Symbol Frequency Analysis
    Stephen M. Watt (University of Western Ontario, London Ontario, Canada)

Part II Towards Mathematical OCR and Search

* Lexical Error Compensation in Handwritten-based Mathematical Information Retrieval
    Seyed Ali Ahmadi (George Washington University, United States)
    Abdou Youssef (George Washington University, United States)
* Extending Full Text Search Engine for Mathematical Content
    Jozef Mišutka (Charles University in Prague, Czech Republic)
    Leo Galamboš (Charles University in Prague, Czech Republic)
* Mathematical Formulae Recognition
    Daniel Průša (Czech Technical University, Prague, Czech Republic)
    Václav Hlaváč (Czech Technical University, Prague, Czech Republic)
* Extracting Precise Data on the Mathematical Content of PDF Documents
    Josef B. Baker (University of Birmingham, United Kingdom)
    Alan P. Sexton (University of Birmingham, United Kingdom)
    Volker Sorge (University of Birmingham, United Kingdom)

Part III Digitization Reports

* RusDML 2008
    Bernd Wegner (Mathematisches Institut, TU Berlin, Germany)
* Digitization of Mathematical Editions in Serbia
    Žarko Mijajlović (Faculty of Mathematics, Belgrade, Serbia)
    Zoran Ognjanović (Mathematical Institute, Belgrade, Serbia)
* Current Status of Mathematical Publications in Japan
    Takao Namiki (Hokkaido University, Sapporo, Japan)
* Small Scale Retrodigitization
    Michael Doob (The University of Manitoba, Canada)

Part IV Digitization Technologies and Platforms

* Building the Czech Digital Mathematics Library upon DSpace System
    Vlastimil Krejčíř (Masaryk University, Brno, Czech Republic)
* Migration of the Mathematical Collection of Polish Virtual Library of Science to the YADDA Platform
    Katarzyna Zamlynska (University of Warsaw, Poland)
    Lukasz Bolikowski (University of Warsaw, Poland)
    Tomasz Rosiek (University of Warsaw, Poland)
* A Language Engineering Architecture for Processing Informal Mathematical Discourse
    Magdalena Wolska (Saarland University, Germany)

Part V Digitization Tools

* DML-CZ Metadata Editor
    Miroslav Bartošek (Masaryk University, Brno, Czech Republic)
    Petr Kovář (Masaryk University, Brno, Czech Republic)
    Martin Šárfy (Masaryk University, Brno, Czech Republic)
* CEDRICS: When CEDRAM Meets Tralics (Keynote) 
    Thierry Bouche (Université de Grenoble I& CNRS, France)
* Automated Processing of TEX-Typeset Articles for a Digital Library
    Michal Růžička (Masaryk University, Brno, Czech Republic)

to the top Keynote

Thierry Bouche (Universite de Grenoble I, CNRS, Institut Fourier & Cellule Mathdoc): CEDRICS: when CEDRAM meets Tralics

to the top Topics

(include, but are not limited to)

to the top Committees

Programme Committee:

Organizing Committee:

Adam Rambousek, Michal Růžička, Petr Sojka, Volker Sorge

DML 2008 | Valid XHTML 1.1! | Valid CSS! | logo dogma W4 | Viewable with any browser | Open Content |
Do you want to know more about DML 2008? Comments/questions/inquiries: to be sent to: dml2008 at easychair dot org.