Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014

Matthew England (Editor), James H Davenport (Editor), Andrea Kohlhase (Editor), Michael Kohlhase (Editor), Paul Libbrecht (Editor), Walther Neuper (Editor), Pedro Quaresma (Editor), Alan Sexton (Editor), Petr Sojka (Editor), Josef Urban (Editor), Stephen M Watt (Editor)

Research output: Book/ReportBook

Original languageEnglish
Publication statusPublished - 1 Jul 2014

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073

Cite this