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.
|
|