| Vol-921 urn:nbn:de:0074-921-6 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# OpenMath/MathUI/CICM-WiP 2012
The OpenMath and MathUI Workshops and Work in Progress at CICM 2012

##

- The 24th OpenMath Workshop
- The 7th Workshop on Mathematical User Interfaces
- The Work in Progress Section of the CICM

### Joint Proceedings of the 24th OpenMath Workshop, the 7th Workshop on Mathematical User Interfaces (MathUI), and the Work in Progress Section of CICM

#### Workshops at the Conference on Intelligent Computer Mathematics (CICM). The conference hosted further workshops, which publish their own proceedings; please see the CICM workshop page for an overview.

### Bremen, Germany, July 9 - 13, 2012.

Edited by

### James Davenport, University of Bath, UK (OpenMath)
Johan Jeuring, Utrecht University and Open Universiteit the Netherlands (CICM WiP)
Christoph Lange, University of Birmingham, UK (OpenMath)
Paul Libbrecht, Center for Educational Research, Martin Luther University of Halle, Germany (MathUI)

## Table of Contents

### Mathematical User Interfaces (MathUI)

1. MathDox Select: A tool for creating SCORM packages from existing exercises 7-11
   Hans Cuypers, Jan Willem Knopper
2. Navigation in Mathematical Documents 12-23
   Andrea Kohlhase
3. Skills Text Box A Tool to Access Resources by Mathematical Concepts (HTML version) 24-36
   Paul Libbrecht

### OpenMath

1. Mathematical Computations for Linked Data Applications with OpenMath 38-48
   Ken Wenzel, Heiner Reinhardt
2. The GF Mathematical Grammar Library: from OpenMath to natural languages 49-52
   Olga Caprotti, Jordi Saludes

### CICM Work in Progress

1. An XML-Format for Conjectures in Geometry 54-65
   Pedro Quaresma
2. PlanetMath/Planetary 66-72
   Joseph Corneli, Mircea Alexandru Dumitru
3. Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System 73-81
   Wolfgang Windsteiger
4. JBIG2 Supported by OCR 82-90
   Radim Hatlapatka
5. Normalization of Digital Mathematics Library Content 91-103
   David Formánek, Martin Líška, Michal Růžička, Petr Sojka

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).

We offer a BibTeX file for citing papers of this workshop from LaTeX.

17-Oct-2012: submitted by Christoph Lange
17-Oct-2012: published on CEUR-WS.org