Dominik Dietrich

Available identifiers

zbMath Open dietrich.dominikMaRDI QIDQ841686

List of research outcomes

Publication	Date of Publication	Type
Recent developments in mega's proof search programming language	2015-02-26	Paper
Polar: A Framework for Proof Refactoring	2014-01-17	Paper
On the optimization of flux limiter schemes for hyperbolic conservation laws	2013-06-13	Paper
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics	2011-07-29	Paper
A Tactic Language for Declarative Proofs	2010-09-14	Paper
Crystal: Integrating structured queries into a tactic language	2010-01-25	Paper
Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega	2009-09-18	Paper
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors	2009-01-27	Paper
Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge	2007-09-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominik Dietrich