Martin Homik

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Martin Homik, Andreas Meier
Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR (2009)
Erica Melis, Giorgi Goguadze, Martin Homik, Paul Libbrecht, Carsten Ullrich, Stefan Winterstein
Semantic-aware components and services of ActiveMath. Br. J. Educ. Technol. 37 (3) (2006)
Erica Melis, Philipp Kärger, Martin Homik
Interactive Concept Mapping in ActiveMath. DeLFI (2005)