| 2008 |
|---|
| 5 | EE | Dominik Dietrich,
Ewaryst Schulz,
Marc Wagner:
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
AISC/MKM/Calculemus 2008: 398-414 |
| 2007 |
|---|
| 4 | | Dominik Dietrich,
Mark Buckley:
Verification of Proof Steps for Tutoring Mathematical Proofs.
AIED 2007: 560-562 |
| 3 | EE | Christoph Benzmüller,
Dominik Dietrich,
Marvin Schiller,
Serge Autexier:
Deep Inference for Automated Proof Tutoring?
KI 2007: 435-439 |
| 2006 |
|---|
| 2 | EE | Serge Autexier,
Dominik Dietrich:
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.
MKM 2006: 94-109 |
| 2005 |
|---|
| 1 | EE | Serge Autexier,
Christoph Benzmüller,
Dominik Dietrich,
Andreas Meier,
Claus-Peter Wirth:
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.
MKM 2005: 126-142 |
