Mathematical Formulae Recognition and Logical Structure Analysis of Mathematical Papers Authors: Suzuki, Masakazu Pages: 7-7
EuDML—Towards the European Digital Mathematics Library Authors: Sylwestrzak, Wojtek, Borbinha, José, Bouche, Thierry, Nowiński, Aleksander, Sojka, Petr Pages: 11-26
Designing a Semantic Ground Truth for Mathematical Formulae Authors: Sexton, Alan, Sorge, Volker, Suzuki, Masakazu Pages: 37-42
Metadata Editing and Validation for a Digital Mathematics Library Authors: Filej, Miha, Růžička, Michal, Šárfy, Martin, Sojka, Petr Pages: 57-62
Implementing Dynamic Visualization as an Alternative Interface to a Digital Mathematics Library Authors: Nevěřilová, Zuzana Pages: 63-68
Data Enhancements in a Digital Mathematical Library Authors: Růžička, Michal, Sojka, Petr Pages: 69-76
INSPIRE: Realizing the Dream of a Global Digital Library in High-Energy Physics Authors: Holtkamp, Annette, Mele, Salvatore, Šimko, Tibor, Smith, Tim Pages: 83-92
Mathematical Communication and Representation in a Virtual Learning Environment Authors: Córcoles, César, Huertas, Antonia Pages: 95-104
Symbol Declarations in Mathematical Writing Authors: Wolska, Magdalena, Grigore, Mihai Pages: 119-127