IMathAS & automated Assessment of mathematical Proof

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.