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)