CICM-WS-WiP 2014
Workshop and Work in Progress Papers at CICM 2014

The 9th Workshop on Mathematical User Interfaces (MathUI)
The 26th OpenMath Workshop
The 2014 Workshop on Theorem proving components for Educational software (ThEdu)
• The Work in Progress Section of CICM 2014

Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM
co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)

Coimbra, Portugal, July 7-11, 2014.

Edited by

Matthew England, University of Bath, UK
James H. Davenport, University of Bath, UK
Andrea Kohlhase, Jacobs University, Bremen, Germany
Michael Kohlhase, Jacobs University, Bremen, Germany
Paul Libbrecht, University of Education of Weingarten, Germany
Walther Neuper, Graz University of Technology, Austria
Pedro Quaresma, University of Coimbra, Portugal
Alan P. Sexton, University of Birmingham, UK
Petr Sojka, Masaryk University, Czech Republic
Josef Urban, Radboud University, Nijmegen, Netherlands
Stephen M. Watt, The University of Western Ontario , Canada

Table of Contents

Mathematical User Interfaces (MathUI)


Theorem proving components for Educational software (ThEdu)

Work in Progress

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

2014-07-03: submitted by Matthew England
2014-07-04: published on CEUR-WS.org |valid HTML5|