Publications

International Journals (reviewed)

  • Serge Autexier, Christoph Benzmüller, Dominik Dietrich, and Marc Wagner. Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA, accepted for Journal of Mathematics in Computer Science
  • Dominik Dietrich and Mark Buckley. Verification of Human-level Proof Steps in Mathematics Education, Journal of Teaching Mathematics and Computer Science submitted
  • M. Schiller, D. Dietrich, C. Benzmüller, Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity, Journal of Teaching Mathematics and Computer Science

Conference and Workshop Papers (reviewed)

  • Dominik Dietrich and Ewaryst Schulz, Crystal: A Declarative Language for the Encoding of Proof Techniques, Workshop on Programming Languages for Mechanized Mathematics Systems , Birmingham, UK, 2008
  • Dominik Dietrich, Ewaryst Schulz and Marc Wagner, Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors, 7th International Conference on Mathematical Knowledge Management Birmingham , UK, 2008
  • Marvin Schiller and Dominik Dietrich and Christoph Benzmüller. Towards Computer-Assisted Proof Tutoring, SCOOP Workshop: 1st Workshop on Scientific Communities of Practice Jacobs University Bremen, Germany, 2007
  • Christoph Benzmüller, Dominik Dietrich, Marvin Schiller. Deep Inference for Automated Proof Tutoring, Osnabrück, 2007 accepted
  • Dominik Dietrich and Mark Buckley. Verification of Proof Steps for Tutoring Mathematical Proofs. In Rose Luckin and Ken Koedinger, editors, Proceedings of the 13th International Conference on Artificial Intelligence in Education, Los Angeles, USA, 2007. To appear.
  • Mark Buckley and Dominik Dietrich. Integrating Task Information into the Dialogue Context for Natural Language Mathematics Tutoring. In Ben Medlock and Diarmuid Ó Séaghdha, editors, Proceedings of the 10th Annual CLUK Research Colloquium, Cambridge, UK, 2007.
  • Serge Autexier and Dominik Dietrich. Synthesizing Proof Planning Methods and Oants Agents from Mathematical Knowledge, In Jon Borwein and Bill Farmer Editor, Proceedings of MKM'06, Vol. 4108, LNAI, p. 94-109, Springer, August, 2006
  • Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, and Claus-Peter Wirth. A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity, In Kohlhase, Michael (Ed) Proceedings of MKM'05, Vol. 3863, LNAI, IUB Bremen, Germany, Springer, January, 2006

Chapters in Books

  • Serge Autexier , Christoph Benzmüller, Dominik Dietrich, and Jörg Siekmann. Resource Adaptive Processes in Automated Reasoning Systems, In Matthew Crocker and Jörg Siekmann (Ed) Resource Adaptive Cognitive Processes, LNAI, Springer, p. 28 pages, December, forthcoming, 2007

Technical Reports

  • Dominik Dietrich and Serge Autexier. A Calculus-Independent Proof Data Structure, Fachrichtung Informatik, Universität des Saarlandes, Saarbrücken, Germany, SEKI Report Nr. SR-05-03, 2005

Thesis

  • Fuzzy Logic for Hyperbolic PDEs (master thesis, Mathematics)
  • The Tasklayer of the OMEGA system (diploma thesis, Computer Science)
  • Calculus Independent Hierarchical Proof Data Structure (intermediate diploma thesis, Computer Science)

Talks

  • Deep Hierarchical Proof Planning, CICM'08 Doctoral Programme
  • Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors, 7th International Conference on Mathematical Knowledge Management
  • A Declarative Language for the Encoding of Proof Techniques, 2nd Workshop on Programming Languages for Mechanized Mathematics Systems
  • Construction of Numerical Methods for Conservation Laws using Artificial Intelligence Methods, masters thesis defense talk
  • Proof Construction at the Assertion Level
  • Beauty with Variational Methods and Successive Overrelaxation Method
  • Verificaiton of Human level Proof Steps in Mathematics Education
  • What comes above the Assertion Level
  • Verification of Proof Steps for Tutoring at the Assertion Level
  • Checking proof steps at the assertion level in tutorial dialogues
  • Inference Rules and their Application in the new Omega
  • Towards the new Omega
  • The new task-level and the new proof-planner
  • A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity