@book{fa218121973048fcaec56e2678edcf87,

title = "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",

editor = "Matthew England and Davenport, {James H} and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Walther Neuper and Pedro Quaresma and Alan Sexton and Petr Sojka and Josef Urban and Watt, {Stephen M}",

year = "2014",

month = jul,

day = "1",

language = "English",

volume = "1186",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

}