CICM Workshops 2014: Coimbra, Portugal

Mathematical User Interfaces (MathUI)

OpenMath

Theorem proving components for Educational software (ThEdu)

Work in Progress

a service of Schloss Dagstuhl - Leibniz Center for Informatics