Dominik Dietrich

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Recent developments in mega's proof search programming language ACM Communications in Computer Algebra	2015-02-26	Paper
\textsc{Polar}: a framework for proof refactoring Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
On the optimization of flux limiter schemes for hyperbolic conservation laws Numerical Methods for Partial Differential Equations	2013-06-13	Paper
Workflows for the management of change in science, technologies, engineering and mathematics Lecture Notes in Computer Science	2011-07-29	Paper
A tactic language for declarative proofs Interactive Theorem Proving	2010-09-14	Paper
Crystal: Integrating structured queries into a tactic language Journal of Automated Reasoning	2010-01-25	Paper
Organization, transformation, and propagation of mathematical knowledge in mega Mathematics in Computer Science	2009-09-18	Paper
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors Lecture Notes in Computer Science	2009-01-27	Paper
Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge Lecture Notes in Computer Science	2007-09-05	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper

Research outcomes over time

This page was built for person: Dominik Dietrich