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
\textsc{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

This page was built for person: Dominik Dietrich