
Search the dblp DataBase
Dominik Dietrich:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Serge Autexier, Dominik Dietrich
Synthesizing Proof Planning Methods and OmegaAnts Agents from Mathematical Knowledge. [Citation Graph (0, 0)][DBLP] MKM, 2006, pp:94109 [Conf]
 Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, ClausPeter Wirth
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:126142 [Conf]
 Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier
Deep Inference for Automated Proof Tutoring? [Citation Graph (0, 0)][DBLP] KI, 2007, pp:435439 [Conf]
Verification of Proof Steps for Tutoring Mathematical Proofs. [Citation Graph (, )][DBLP]
Authoring Verified Documents by Interactive Proof Construction and Verification in TextEditors. [Citation Graph (, )][DBLP]
Atomic Metadeduction. [Citation Graph (, )][DBLP]
Fuzzy Numerical Schemes for Hyperbolic Differential Equations. [Citation Graph (, )][DBLP]
A Tactic Language for Declarative Proofs. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
