Vol-1785
urn:nbn:de:0074-1785-8




CICM-WS-WIP 2016
Workshop and Work in Progress Papers at CICM 2016


FMM - Formal Mathematics for Mathematicians
The 11th Workshop on Mathematical User Interfaces (MathUI)
The 2016 Workshop on Theorem proving components for Educational software (ThEdu)
• The Work in Progress Section of the MKM track of CICM 2016
• The Work in Progress Section of the DML track of CICM 2016
The CICM 2016 Doctoral Program


Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016
co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016)

Bialystok, Poland, July 25-29, 2016.


Edited by

Michael Kohlhase, FAU Erlangen Nürnberg (Joint volume editor and CICM program chair)
Andrea Kohlhase, Hochschule Neu-Ulm (MathUI editor)
Paul Libbrecht, German Institute for international Educational Research, Frankfurt, (MathUI editor)
Bruce Miller, NIST (MKM WiP editor)
Adam Naumowicz, University of Bialystok (FM4M editor and CICM organizer)
Walther Neuper, Graz University of Technology (ThEdu editor)
Pedro Quaresma, University of Coimbra (ThEdu editor)
Frank Tompa, University of Waterloo (DML WiP editor)
Martin Suda, TU Wien (Doctoral Program editor)






Table of Contents

FM4M - Formal Mathematics for Mathematicians

The 11th Workshop on Mathematical User Interfaces (MathUI)

The 2016 Workshop on Theorem proving components for Educational software (ThEdu)

The CICM 2016 Doctoral Program

The Work in Progress Section of the DML track of CICM 2016

The Work in Progress Section of the MKM track of CICM 2016


2017-01-22: submitted by Michael Kohlhase metadata incl. bibliographic data published under Creative Commons CC0
2017-01-22: published on CEUR-WS.org |valid HTML5|