IMathAS & automated Assessment of mathematical Proof
Loading...
Date
2014
Journal Title
Journal ISSN
Volume Title
Publisher
Gesellschaft für Didaktik der Mathematik
Abstract
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.