Verification of Proof Steps for Tutoring Mathematical Proofs.

Dominik Dietrich Mark Buckley

Published in: AIED (2007)

Keyphrases

mathematical proofs
cognitive processes
theorem prover
intelligent tutoring systems
intelligent tutoring
natural language
model checking
decision making
information processing
student model
genetic algorithm
face verification
formal verification
asynchronous circuits
verification method
formal proof