1. Foreword

   • Manfred Kerber

   OriginalPaper 05 December 2008 Pages: 193 - 194

2. Identifying Subscripts and Superscripts in Mathematical Documents

   • Walaa Aly
   • Seiichi Uchida
   • Masakazu Suzuki

   OriginalPaper 05 December 2008 Pages: 195 - 209

3. Automatic Proof of Graph Nonisomorphism

   • Arjeh M. Cohen
   • Jan Willem Knopper
   • Scott H. Murray

   OriginalPaper 05 December 2008 Pages: 211 - 229

4. ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments

   • Josef Urban
   • Geoff Sutcliffe

   OriginalPaper 28 October 2008 Pages: 231 - 251

5. Organization, Transformation, and Propagation of Mathematical Knowledge in Ωmega

   • Serge Autexier
   • Christoph Benzmüller
   • Marc Wagner

   OriginalPaper 05 December 2008 Pages: 253 - 277

6. Using as a Semantic Markup Format

   • Michael Kohlhase

   OriginalPaper 05 December 2008 Pages: 279 - 304

7. A Math Query Language with an Expanded Set of Wildcards

   • Moody Ebrahem Altamimi
   • Abdou Youssef

   OriginalPaper 05 December 2008 Pages: 305 - 331

8. Relevance Ranking and Hit Description in Math Search

   • Abdou S. Youssef

   OriginalPaper 05 December 2008 Pages: 333 - 353

9. Spurious Disambiguation Errors and How to Get Rid of Them

   • Claudio Sacerdoti Coen
   • Stefano Zacchiroli

   OriginalPaper 05 December 2008 Pages: 355 - 378

10. The Freedom to Extend OpenMath and its Utility

    • James H. Davenport
    • Paul Libbrecht

    OriginalPaper 05 December 2008 Pages: 379 - 398