Interactive Concept Mapping in ActiveMath. - Erica Melis; Philipp Kärger; Martin Homik (DeLFI, 2005)

Semantic-aware components and services of ActiveMath. - Erica Melis; Giorgi Goguadze; Martin Homik; Paul Libbrecht; Carsten Ullrich; Stefan Winterstein (Br. J. Educ. Technol., 2006)

Designing a GUI for Proofs - Evaluation of an HCI Experiment - Martin Homik; Andreas Meier 002 (CoRR, 2009)