DML 2008

DML 2008
July 27, 2008
Birmingham, UK
DML 2008 workshhop - Towards Digital Mathematics Library. 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.

Some Thoughts on the Near–Future Digital Mathematics Library


Thierry Bouche
Play (52min) Download: MP4 | MP3

From Pixels and Minds to the Mathematical Knowledge in a Digital Library


Petr Sojka
Play (23min) Download: MP4 | MP3

Mathematical Formulae Recognition


Daniel Průša
Play (26min) Download: MP4 | MP3

Mathematical Document Classification via Symbol Frequency Analysis


Stephen M. Watt
Play (31min) Download: MP4 | MP3

DML–CZ Metadata Editor


Miroslav Bartošek
Play (22min) Download: MP4 | MP3

Automated Processing of TeX–Typeset Articles for a Digital Library


Michal Růžička
Play (17min) Download: MP4 | MP3

Building the Czech Digital Mathematics Library upon DSpace System


Vlastimil Krejčíř
Play (25min) Download: MP4 | MP3

Current Status of Mathematical Publications in Japan


Takao Namiki
Play (3min) Download: MP4 | MP3

Small Scale Retrodigitization


Michael Doob
Play (6min) Download: MP4 | MP3

A Language Engineering Architecture for Processing Informal Mathematical Discourse


Magdalena Wolska
Play (5min) Download: MP4 | MP3

Migration of the Mathematical Collection of Polish Virtual Library of Science to the YADDA Platform


Katarzyna Zamlynska
Play (4min) Download: MP4 | MP3

Digitization of Mathematical Editions in Serbia


Žarko Mijajlović
Play (21min) Download: MP4 | MP3

RusDML 2008


Bernd Wegner
Presented by Wolfram Sperber
Play (26min) Download: MP4 | MP3

Extending Full Text Search Engine for Mathematical Content


Jozef Mišutka
Play (24min) Download: MP4 | MP3