Login / Signup
ThEdu@FLoC
Publications
volume 290, 2019
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018.
ThEdu@FLoC
290 (2019)
2018
Walther Neuper
Technologies for "Complete, Transparent & Interactive Models of Math" in Education.
ThEdu@FLoC
(2018)
Maximilian Doré
,
Krysia Broda
Towards Intuitive Reasoning in Axiomatic Geometry.
ThEdu@FLoC
(2018)
Nuno Baeta
,
Pedro Quaresma
Towards Ranking Geometric Automated Theorem Provers.
ThEdu@FLoC
(2018)
Wolfgang Schreiner
Theorem and Algorithm Checking for Courses on Logic and Formal Methods.
ThEdu@FLoC
(2018)
Jørgen Villadsen
,
Asta Halkjær From
,
Anders Schlichtkrull
Natural Deduction Assistant (NaDeA).
ThEdu@FLoC
(2018)
Anders Schlichtkrull
,
Jørgen Villadsen
,
Asta Halkjær From
Students' Proof Assistant (SPA).
ThEdu@FLoC
(2018)