IMathAS & automated Assessment of mathematical Proof

Autor: Platz, Melanie, Niehaus, Engelbert, Dahn, Ingo, Dreyer, Ulrike
Jazyk: angličtina
Rok vydání: 2014
DOI: 10.17877/de290r-15649
Popis: IMathAS is a web-based math assessment tool for delivery and automatic grading of math homework. In IMathAS electronic proofs (e-proofs) are not included by default as deductive arguments for a mathematical statement. The article will show how learners can be supported in building the arguments on justifications and previously established statements by application of IMathAS. Furthermore requirements and constraints are discussed for an e-proof to trace back to established statements.
Databáze: OpenAIRE