Requirements of e-Proof Pilot
- iMathCode: Create iMathAS code that can be used by other authors for an electronic proof.
- Individual Solutions: It should be possible to create an individual correct solution for a proof. iMathAS will assess the student's proof against the proposed authors solution.
- Interactive Generation of Solution: A solution needs iMathAS code as implementation of solutions. This solution should be generated if the author of the proof is performing a correct proof in the e-Proof environment in iMathAS.
- Background e-Proof Implementation: The e-proof environment in iMathAS should decompose the necessary iMathAS-Code into two main components:
|
|