
Decision times of infinite computations
The decision time of an infinite time algorithm is the supremum of its h...
read it

Automatized Evaluation of Formalization Exercises in Mathematics
We describe two systems for supporting beginner students in acquiring ba...
read it

Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics
The Diproche system, an automated proof checker for natural language pro...
read it
Merlin Carl
is this you? claim profile