The following pages link to Dominik Dietrich (Q841686):
Displaying 10 items.
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Polar: A Framework for Proof Refactoring (Q2870173) (← links)
- On the optimization of flux limiter schemes for hyperbolic conservation laws (Q4929261) (← links)
- Recent developments in mega's proof search programming language (Q5176482) (← links)
- Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics (Q5200115) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)
- A Tactic Language for Declarative Proofs (Q5747644) (← links)
- Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge (Q5756764) (← links)
- Mathematical Knowledge Management (Q5898516) (← links)
