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

Research output: Book/ReportBook

Authors

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

Colleges, School and Institutes

Details

Original languageEnglish
PublisherCEUR-WS.org
Volume1186
Publication statusPublished - 1 Jul 2014

Publication series

NameCEUR Workshop Proceedings
Volume1186
ISSN (Print)1613-0073