×

zbMATH — the first resource for mathematics

Dietrich, Dominik

Compute Distance To:
Author ID: dietrich.dominik Recent zbMATH articles by "Dietrich, Dominik"
Published as: Dietrich, Dominik
Documents Indexed: 10 Publications since 2006

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 15 times in 12 Documents Cited by Year
A generic modular data structure for proof attempts alternating on ideas and granularity. Zbl 1151.68628
Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Meier, Andreas; Wirth, Claus-Peter
4
2006
Authoring verified documents by interactive proof construction and verification in text-editors. Zbl 1166.68342
Dietrich, Dominik; Schulz, Ewaryst; Wagner, Marc
2
2008
Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega. Zbl 1176.68207
Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Wagner, Marc
2
2008
On the optimization of flux limiter schemes for hyperbolic conservation laws. Zbl 1268.65110
Breuß, Michael; Dietrich, Dominik
2
2013
Polar: a framework for proof refactoring. Zbl 1407.68434
Dietrich, Dominik; Whiteside, Iain; Aspinall, David
2
2013
Synthesizing proof planning methods and \(\Omega\)-Ants agents from mathematical knowledge. Zbl 1188.68277
Autexier, Serge; Dietrich, Dominik
2
2006
Workflows for the management of change in science, technologies, engineering and mathematics. Zbl 1278.68291
Autexier, Serge; David, Catalin; Dietrich, Dominik; Kohlhase, Michael; Zholudev, Vyacheslav
1
2011
On the optimization of flux limiter schemes for hyperbolic conservation laws. Zbl 1268.65110
Breuß, Michael; Dietrich, Dominik
2
2013
Polar: a framework for proof refactoring. Zbl 1407.68434
Dietrich, Dominik; Whiteside, Iain; Aspinall, David
2
2013
Workflows for the management of change in science, technologies, engineering and mathematics. Zbl 1278.68291
Autexier, Serge; David, Catalin; Dietrich, Dominik; Kohlhase, Michael; Zholudev, Vyacheslav
1
2011
Authoring verified documents by interactive proof construction and verification in text-editors. Zbl 1166.68342
Dietrich, Dominik; Schulz, Ewaryst; Wagner, Marc
2
2008
Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega. Zbl 1176.68207
Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Wagner, Marc
2
2008
A generic modular data structure for proof attempts alternating on ideas and granularity. Zbl 1151.68628
Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Meier, Andreas; Wirth, Claus-Peter
4
2006
Synthesizing proof planning methods and \(\Omega\)-Ants agents from mathematical knowledge. Zbl 1188.68277
Autexier, Serge; Dietrich, Dominik
2
2006

Citations by Year