CICM Workshops 2014:
, James H. Davenport
, Andrea Kohlhase
, Michael Kohlhase
, Paul Libbrecht
, Walther Neuper
, Pedro Quaresma
, Alan P. Sexton
, Petr Sojka
, Josef Urban
, Stephen M. Watt
: 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. CEUR Workshop Proceedings
1186, CEUR-WS.org 2014
Mathematical User Interfaces (MathUI)
, Chris Roast
: Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths Subjects.
: Literate Sources for Content Dictionaries: A Progress Report.
Theorem proving components for Educational software (ThEdu)
: Short Introduction by Example to Coq and Formalising ZF ⊆ ZFε in Coq.
: Using Small-Step Refinement For Algorithm Verification In Computer Science Education.
, founded at