Towards an Intelligent Tutor for Mathematical Proofs 英文论文文献.docVIP

Towards an Intelligent Tutor for Mathematical Proofs Serge Autexier Dominik Dietrich Marvin Schiller German Research Center for Arti?cial Intelligence (DFKI), Bremen, Germany Brunel University, London, UK Marvin.Schiller@brunel.ac.uk Serge.Autexier@dfki.de Dominik.Dietrich@dfki.de Computer-supported learning is an increasingly important form of study since it allows for indepen- dent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particulariti