Suggestion of an E-proof Environment in Mathematics Education

Abstract

This paper deals with electronic proofs (e-proofs)E-proofs implemented with existing open-source web applications (i.e., IMathAS)IMathAS to be used in school and academic teacher education in mathematics. In these e-proofsE-proofs, the learner will be supported and guided to prove a given theorem. An educational e-proof environment is a preliminary step towards a complete proof with paper and pencil in order to support students in building arguments and overcoming difficulties related to a traditional approach. IMathASIMathAS is a web-based mathematics assessmentMathematics assessment tool for delivery and semi-automatic grading of mathematical homework. In this paper, a theoretical framework to identify preferences of learners for logical reasoning is presented. This framework determines the structure of the IT-environment. Therefore, a brief introduction to the system is given; benefits, requirements, and constraints as well as further perspectives are discussed.