- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Martin Homik, Andreas Meier: Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR abs/0903.3926: (2009) |
| 2005 | ||
| 1 |  | Erica Melis, Philipp Kärger, Martin Homik: Interactive Concept Mapping in ActiveMath. DeLFI 2005: 247-258 |
| 1 | Philipp Kärger | [1] |
| 2 | Andreas Meier | [2] |
| 3 | Erica Melis | [1] |