Partners The Open University ELOTHERM GmbH University of Ljubljana Czech Technical University in Prague INTEC GmbH Ing. Ges. fuer neue Technologien ...
Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for ...
ActiveMath is an innovative, adaptive web-based environment for learning mathematics. The system guides the student in self-regulated learning, can ...
MARY is a Text-to-Speech Synthesis System for German, English and Tibetan. It was originally developed as a collaborative project of DFKI's language ...