An experiment concerning mathematical proofs on computers with French undergraduate students.

René David Christophe Raffalli

Published in: J. Appl. Log. (2004)

Keyphrases

undergraduate students
mathematical proofs
cognitive processes
theorem prover
graduate students
computer technology
natural language
computer systems
pedagogical agents
academic achievement
machine learning
learning environment