Vol-1185⫷ Vol-1186 ⫸Vol-1187
urn:nbn:de:0074-1186-1

Copyright © 2014 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.




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)

OpenMath

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 |