Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dominik Dietrich
Proof Step Analysis for Proof Tutoring - A Learning Approach to Granularity
Teaching Mathematics and Computer Science
Related publications
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of the IGPL
Philosophy
Another Approach to Proof: Arguments From Physics
Zentralblatt für Didaktik der Mathematik
Correction To: Formal and Natural Proof: A Phenomenological Approach
From Mathematical Axioms to Mathematical Rules of Proof: Recent Developments in Proof Analysis
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Learning Proof Heuristics by Adapting Parameters
A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Proof Theory and Computational Analysis
BRICS Report Series
