Login / Signup

The ELFE System - Verifying Mathematical Proofs of Undergraduate Students.

Maximilian DoréKrysia Broda
Published in: CSEDU (2) (2018)
Keyphrases
  • undergraduate students
  • mathematical proofs
  • cognitive processes
  • theorem prover
  • natural language
  • model checking
  • graduate students
  • pedagogical agents
  • pedagogical design