Platz, MelanieNiehaus, EngelbertDahn, IngoDreyer, Ulrike2014-05-262014-05-262014http://hdl.handle.net/2003/3328710.17877/DE290R-15649IMathAS 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.enGesellschaft für Didaktik der Mathematik510conference contribution