Towards an Intelligent Tutor for Mathematical Proofs

Serge Autexier Dominik Dietrich Marvin R. G. Schiller

Published in: ThEdu (2011)

Keyphrases

mathematical proofs
intelligent tutor
cognitive processes
cognitive model
theorem prover
natural language
machine learning