Login / Signup
The Elfe System - Verifying mathematical proofs of undergraduate students.
Maximilian Doré
Krysia Broda
Published in:
CoRR (2018)
Keyphrases
</>
undergraduate students
mathematical proofs
cognitive processes
theorem prover
natural language
pedagogical agents
model checking
graduate students
postgraduate students
virtual environment
academic achievement