e-Proof Offline Environment
DOWNLOAD: e-ProofJS-Environment and MathJAX
and place "/MathJax" in the folders "/eProofJS" as subdirectory. It can be locally replaced by newer versions of MathJax. eProof-Authoring Tool as Desktop Application
With eProofElectron tool you can create a learning environment for mathematical proofs as a single HTML file (see Abels Lemma), that can be updloaded to Web Server or used offline on a students Computer. The teacher can decide which support is provided to student. Self assessment for a single proof step and the full proof is available in the offline environment. Students just need a browser to run the e-Proof Environment. eProofElectron is an Authoring Tool for Teacher or Lecturers to create the eProof-HTML files. Furthermore it is possible to export an IMathAS task, so that the automated assessment can be used in the Internet Mathematical Assessment System (IMathAS).
iMathAS-Creator for e-Proofs
DOWNLOAD: iMathAScreator.zip
If you have an IMathAS-Server installed or an Teacher Account in iMathAS it is important to have iMathAS background code installed in questions (download Background-Code below and see Installation of Background Code). You can launch the iMathAS-Creator with the following link:If you want to run the e-Proof Creator OFFLINE, perform the following steps:
Download IMathAS - Background Code
The Background-Code is necessary for all e-Proofs in IMathAS. The Screencast-Video shows installation of the background in IMathAS.
|
XML-Files of e-Proofs
Import into iMathAS-Creator
|