Create a Theorem as Author
If you want to create a Theorem as Author, recommended way is to use the iMathAScreator . The iMathAS-Creator for e-Proofs can load XML-Files. The following example shows an XML-File for "square root of 2 is an irrational number". (see settings for XML-Export in IMathAS)
XML-File for an e-Proof - Question:
The iMathAS-Creator expects that the Author knows how to encode mathematical text in ASCII-Math or LaTeX. To learn about Math Text in ASCII Math, try to create a single proof steps
- with TinyMCE Demo with ASCII-Math Extension or
- the ASCII-Math-Editor
Demo Theorem Code
(Exemplary Theorem: The square root of 2 is an irrational number.)
The following demo theorem code should be copied in a question of your IMathAS environment, so that all authors and instructors can derive their own theorem definitions from the demo definition. Multiple templates of demo theorems could be available for calculus, linear algebra, etc., in your IMathAS system. The background code of the e-proof environment should be maintained in only one question by all users.
Description - Question:
Question Type: Conditional
Common Control Content:
Replace the correct question ID in includecodefrom(3502) and includecodefrom(4002)
At the end of the common control content you will find an includecodefrom(3502) and an includecodefrom(4002) command. E.g. ownID1 and ownID2 (e.g. 38 and 39) are the correct question IDs of your background code of the e-proof environment replace the IDs to includecodefrom(ownID1) and includecodefrom(ownID2), if your background code is stored in these questions (see last lines in common control).
At the end of the common control content you will find an includecodefrom(3502) and an includecodefrom(4002) command. E.g. ownID1 and ownID2 (e.g. 38 and 39) are the correct question IDs of your background code of the e-proof environment replace the IDs to includecodefrom(ownID1) and includecodefrom(ownID2), if your background code is stored in these questions (see last lines in common control).
Question Text - Content
The question text is imported from your background code too, therefore change the line in the definition of the question text according to the first question ID in your IMathAS Installation. Replace includeqtextfrom(3502) e.g. by includeqtextfrom(ownID1). The background code should be public for all authors in the IMathAS installation.