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

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)

- MathDox Select: A tool for creating SCORM packages from existing exercises7-11

Hans Cuypers, Jan Willem Knopper - Navigation in Mathematical Documents12-23

Andrea Kohlhase - Skills Text Box A Tool to Access Resources by Mathematical Concepts (HTML version) 24-36

Paul Libbrecht

- Mathematical Computations for Linked Data Applications with OpenMath38-48

Ken Wenzel, Heiner Reinhardt - The GF Mathematical Grammar Library: from OpenMath to natural languages49-52

Olga Caprotti, Jordi Saludes

- An XML-Format for Conjectures in Geometry54-65

Pedro Quaresma - PlanetMath/Planetary66-72

Joseph Corneli, Mircea Alexandru Dumitru - Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System73-81

Wolfgang Windsteiger - JBIG2 Supported by OCR82-90

Radim Hatlapatka - Normalization of Digital Mathematics Library Content91-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