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.
The OpenMath and MathUI Workshops and Work in Progress at CICM 2012
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.
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)
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