193 | -- | 194 | Manfred Kerber. Foreword |
195 | -- | 209 | Walaa Aly, Seiichi Uchida, Masakazu Suzuki. Identifying Subscripts and Superscripts in Mathematical Documents |
211 | -- | 229 | Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray. Automatic Proof of Graph Nonisomorphism |
231 | -- | 251 | Josef Urban, Geoff Sutcliffe. ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments |
253 | -- | 277 | Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner. Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega |
279 | -- | 304 | Michael Kohlhase. Using as a Semantic Markup Format |
305 | -- | 331 | Moody Ebrahem Altamimi, Abdou S. Youssef. A Math Query Language with an Expanded Set of Wildcards |
333 | -- | 353 | Abdou S. Youssef. Relevance Ranking and Hit Description in Math Search |
355 | -- | 378 | Claudio Sacerdoti Coen, Stefano Zacchiroli. Spurious Disambiguation Errors and How to Get Rid of Them |
379 | -- | 398 | James H. Davenport, Paul Libbrecht. The Freedom to Extend OpenMath and its Utility |