1. Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge

   • Serge Autexier
   • Petr Sojka
   • Masakazu Suzuki

   OriginalPaper 10 March 2010 Pages: 225 - 226

2. Digital Mathematics Libraries: The Good, the Bad, the Ugly

   • Thierry Bouche

   OriginalPaper 10 March 2010 Pages: 227 - 241

3. Digitization Projects in Spain

   • E. Macías-Virgós
   • R. de la Viesca

   OriginalPaper 10 March 2010 Pages: 243 - 250

4. Digitization of Mathematical Editions in Serbia

   • Žarko Mijajlović
   • Zoran Ognjanović
   • Aleksandar Pejović

   OriginalPaper 10 March 2010 Pages: 251 - 263

5. Evolution of the Mathematical Collection of the Polish Virtual Library of Science

   • Katarzyna Zamłyńska
   • Alek Tarkowski
   • Tomasz Rosiek

   OriginalPaper 10 March 2010 Pages: 265 - 278

6. Grammatical Verification for Mathematical Formula Recognition Based on Context-Free Tree Grammar

   • Akio Fujiyoshi
   • Masakazu Suzuki
   • Seiichi Uchida

   OriginalPaper 10 March 2010 Pages: 279 - 298

7. Transforming Large Collections of Scientific Publications to XML

   • Heinrich Stamerjohanns
   • Michael Kohlhase
   • Bruce Miller

   OriginalPaper 27 February 2010 Pages: 299 - 307

8. Tactics for Hierarchical Proof

   • David Aspinall
   • Ewen Denney
   • Christoph Lüth

   OriginalPaper 10 March 2010 Pages: 309 - 330

9. Mathematical Context in Interactive Documents

   • A. M. Cohen
   • H. Cuypers
   • R. Verrijzer

   OriginalPaper 10 March 2010 Pages: 331 - 347

10. Specifying Rewrite Strategies for Interactive Exercises

    • Bastiaan Heeren
    • Johan Jeuring
    • Alex Gerdes

    OriginalPaper 10 March 2010 Pages: 349 - 370