Electronic Proofs in Education

This website supports you in creating an electronic proof with existing OpenSource web applications in an educational setting in mathematics. The learner should be supported and guided to prove a given theorem. An educational e-proof environment is regarded as the preliminary step towards a complete proof with paper and pencil.

The pilot for e-proofs was performed with
Currently, the application of the e-proof environment in IMathAS has some limitations.

Online-Demo:

Use Firefox: You can use the Online-Demo to get an idea about the basic concept. The online-demo is pure HTML/Javascript and works without IMathAS.

Authoring e-Proofs:

Use Firefox: If you want to create your own e-Proof you can use Authoring Tools to create your own e-Proof.

Download e-Proofs:

You can download  a few preliminary existing e-Proofs as Demo that you can use in the Javascript-Enviroment or in iMathAS. Furthermore you can load them in the Authoring Tools to improve and adapt them.