 | 2009 |
|---|
| 7 |       | Michael Breuß,
Dominik Dietrich:
Fuzzy Numerical Schemes for Hyperbolic Differential Equations.
KI 2009: 419-426 |
| 6 | | Serge Autexier,
Dominik Dietrich:
Atomic Metadeduction.
KI 2009: 444-451 |
| 2008 |
|---|
| 5 | | 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 | | Christoph Benzmüller,
Dominik Dietrich,
Marvin Schiller,
Serge Autexier:
Deep Inference for Automated Proof Tutoring?
KI 2007: 435-439 |
| 2006 |
|---|
| 2 | | Serge Autexier,
Dominik Dietrich:
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.
MKM 2006: 94-109 |
| 2005 |
|---|
| 1 | | 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 |
