Relevanzbasiertes Preprocessing für automatische Theorembeweiser M Frank SKIL, 87-98, 2012 | 4 | 2012 |
The Coq Proof Script Visualiser (coq-psv) M Frank arXiv preprint arXiv:2101.07761, 2021 | 3 | 2021 |
Brückenkurse für mathematische und informatiknahe Studiengänge S Schellhorn, M Frank, C Kreitz Alles auf Anfang! Befunde und Perspektiven zum Studieneingang, 257-271, 2019 | 3* | 2019 |
Merging data, the essence of creation of multi-layer corpora F Zipser, M Frank, J Schmolling Poster presented at 36, 2014 | 2 | 2014 |
A Theorem Prover for Scientific and Educational Purposes M Frank, C Kreitz arXiv preprint arXiv:1803.01469, 2018 | 1 | 2018 |
Axiom Relevance Decision Engine M Frank Technical report, 2012. Available from: http://nbn-resolving. de/urn: nbn …, 2012 | 1 | 2012 |
nanoCoP-Ω: A Non-Clausal Connection Prover with Arithmetic L Repp, M Frank | | 2023 |
Automatische Inferenz C Kreitz, M Frank Handbuch der Künstlichen Intelligenz, 143-188, 2020 | | 2020 |
TEMPLAR: efficient determination of relevant axioms in big formula sets for theorem proving M Frank Universität Potsdam, 2014 | | 2014 |