Verification of Proof Steps for Tutoring Mathematical Proofs

• Authors:

• Dominik Dietrich;Mark Buckley

• Affiliations:

• Dept. of Computer Science;Dept. of Computational Linguistics, Saarland University, Postfach 151150, 66041 Saarbrücken, Germany, dietrich@ags.uni-sb.de, buckley@coli.uni-sb.de

• Venue:
• Proceedings of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work
• Year:
• 2007