e-Proof-Creator for iMathAS

style="display:none" style='visibility:hidden'

$ErrorHTML

(0)

???

[ID]

Step Definition

[] - optional:

(0)

???

[ID]

Step Definition
Step Definition next Line

Justifications:

Undefined Justications

Manual Assessment: Assess Self-defined Steps %

ConnectionList:

`???`
`=>`
`=`
`<=`
`<`
`>=`
`>`
`subseteq`
`DEF`
`TEXT`
`TYP`
`q.e.d.`
`LINK-NODE`

Source Step:

$SOURCESTEPS

Student Answers:
//0:PrevID//1:Con=TYP//2:ID=MY1//3:Just=CK,DU,P1//4:OptJust//5:ManScore=0.9//6:SugUsed//7:AssUsed//8:SelCon//9:SelID//10:SelJUST//11:StepNr

IMathAS Storage (qn1000):

imathDISPLAYOPTION:

imathSTEPCOUNT:

Settings:

Preconditions:

Conclusions:

Justifications:

Proof Steps:

Solutions:

Solutions encrypted:

- Acknowledgements - Tutorial e-Proof Emulation

Load XML-File

Copy the XML-code for an e-Proof into Textbox and press button [Import e-Proof] to load the new e-Proof.

SAVE File

Student Answer to Solution Encrypt IMathAS-Solution Export Student Answer
File Format:

SAVE iMathAS-File

Software-ID (SID): Question-ID (QID):

Background Question Text 1:

eProofJS.html Export:

eProofJSauthoring.html Export:

Weebly Export:

Preferences

Setting Theorem Title

Author:
e-Mail:
Date:
Comment/Theorem:
Language-Code:	'DE' or 'EN'
Authoring Mode:
Manual Assessment:
Show Assessment-Button:
Point Reduction per Assessment:
Suggestions for Proof Steps:
Point Reduction for Suggestions:
Show Solution of Proof:
Show Load-Save-Control:
Show Main Control:
Show External Links:
MathJax Format:
Percent Point Reduction per Error:
Unnecessary Proof Steps:
Unnecessary Connections:
Unnecessary Justifications:
Randomize Proof-Step:
Remap Step IDs:
Crypt Key for Solution:
Question-ID Common Control:
Question-ID Question Text:
QID for e-Proof (unique):

tTPL1 Preconditions

//--------------------------------------------------------------------------------------
//-----e-PROOF (___THEOREM_LABEL___): ___THEOREM_TITLE___
//--------------------------------------------------------------------------------------
//-----Author:  ___AUTHOR___
//-----e-Mail:  ___EMAIL___
//-----created: ___DATE___
//--------------------------------------------------------------------------------------
//
//--------------------------------------------------------------------------------------
//-------1-COMMON CONTROL: Settings and Definition of Theorem and Proof-----------------
//--------------------------------------------------------------------------------------
// Documentation: see http://e-proof.weebly.com 
// e-Proof-Creator: http://e-proof.weebly.com/download--tools.html
//--------------------------------------------------------------------------------------
__do__Theorem_Label = "___THEOREM_LABEL___"
__do__Theorem_Title = "___THEOREM_TITLE___"
//--------------------------------------------------------------------------------------
__do__Theorem_Appendix = "___THEOREM_APPENDIX___"
//--------------------------------------------------------------------------------------
//---Point Reduction per Error or per Used Support Features----
__do__Per_Error_Minus_Percent  = ___PER_ERROR_MINUS_PERCENT___  // means ___PER_ERROR_MINUS_PERCENT___%  less Points per Error per Step (default 10%)
__do__Assessment_Minus_Percent = ___ASSESSMENT_MINUS_PERCENT___ // means ___ASSESSMENT_MINUS_PERCENT___% less Points per Use of Assessment for Step (default 100%)
__do__Suggestion_Minus_Percent = ___SUGGESTION_MINUS_PERCENT___ // means ___SUGGESTION_MINUS_PERCENT___% less Points per Use of Suggestions for Step (default 20%)
//--------------------------------------------------------------------------------------
//-----unnecessary options make the proof step more difficult---------------------------
//--- ... = 0 means very simple
__do__unnecessary_proofsteps     = ___UNNECESSARY_PROOFSTEPS___
__do__unnecessary_connections    = ___UNNECESSARY_CONNECTIONS___
__do__unnecessary_justifications = ___UNNECESSARY_JUSTIFICATIONS___
//--------------------------------------------------------------------------------------
//------Use Values 1 or 0 --------------------------------------------------------------
//--------------------------------------------------------------------------------------
__do__selectbox_proofsteps    = ___SELECTBOX_PROOFSTEPS___
__do__allow_own_proofsteps    = ___ALLOW_OWN_PROOFSTEPS___
__do__remap_proofstep_IDs     = ___REMAP_PROOFSTEP_IDS___
__do__randomize_proofstep_IDs = ___RANDOMIZE_PROOFSTEP_IDS___
//-----for Novices Users----------------
__do__show_suggestions    = "___SHOW_SUGGESTIONS___"
__do__show_assessment     = "___SHOW_ASSESSMENT___"
__do__show_proof_solution = "___SHOW_PROOF_SOLUTION___"
//---For AUTHORS/TUTORS-----------------
__do__AuthoringMode  = ___AUTHORINGMODE___
__do__AssessmentMode = ___ASSESSMENTMODE___
//---Miscellaneous Settings-------------
___SETTINGS___
//--------------------------------------------------------------------------------------
//
//
//--------------------------------------------------------------
//--------------PRECONDITIONS-----------------------------------
//--------------------------------------------------------------
__do__pi = 0
___PRECONDITIONS___
//--------------------------------------------------------------
//--------------CONCLUSIONS-------------------------------------
//--------------------------------------------------------------
__do__pi = 0
___CONCLUSIONS___
//--------------------------------------------------------------
//--------------JUSTIFICATIONS----------------------------------
//--------------------------------------------------------------
__do__pi = 0
___JUSTIFICATIONS___
//
//--------------------------------------------------------------
//--------------PROOFSTEPS--------------------------------------
//--------------------------------------------------------------
__do__pi = 0
___PROOFSTEPS___
//--------------------------------------------------------------
//--------------STUDENT ANSWERS---------------------------------
//--------------------------------------------------------------
___STUDENTANSWERS___
//--------------------------------------------------------------
//--------------SOLUTION DEFINITION-----------------------------
//--------------------------------------------------------------
//
//-[0]Previous_Step---[1]StepID---[2]Connection---[3]necessary_Justification---[4]optional_Just.
__do__so=0
___SOLUTION___
__do__MinimalProofSteps = __do__so
//
//--------------------------------------
//------INCLUDE LIBRARIES---------------
//--------------------------------------
___INCLUDECODE___
//-----------------------------------------------------------------------
//----QUETIONTEXT: uncomment the following 6 lines by removing '//'------
//----and insert the code in Question Text of your IMathAS question------
//-----------------------------------------------------------------------

___INCLUDEQTEXT___

//----------------------------------------------------------

tLOOP1 Preconditions

tLOOP5 Solution

Theorem: My Title

Help:

Move Proof Steps: You can move the steps of the proof by changing the number in the select box. The justifications and all other settings associated with the proof step are moved as well, because they are treated as a unit.
3 Question Marks: 3 question marks '???' indicate to the user, that a connection to the previous proof step must be defined or the step should be marked as START of a sequence of proof steps.so ist noch kein Bezug zum vorherigen Beweisschritt gesetzt worden. An Implication (among others) is the most commom link between two proof steps.
Identificators for Beweisfragmente: All proof step and justifications have an unique identificator (e.g. [S1],[J1],...). These unique identificators are used to select steps in the e-proof system.
Justifications: All proof steps may have additional justifications. These justification show whether the truth of a current step is based solely on the truth of the premises or previous steps. If you want to select justification for the proof step just select the Button [Justifications:] for the proof step. Use the checkbox to select applicable justifications. The [OK] button close the selection box.
Display Options: In the stanard view of the e-proof you will see the Edit buttons for changing the settings of the resp. proof step. For a print out of you current work, you can change the display option of the proof with a select box or even hide the user input completely, e.g. if you print the solution of the proof only without the user input.
[X]-Button: With the [X]-Button you can the delete the proof from the proof, e.g. if the proof step contains mathematical errors or if the step is not necessary for the logical chain of steps in the proof. Deleted proof steps are stored in the section [Unused Proof Steps] and you can append deleted steps to the proof later on. If you want to append deleted proof steps press on button [Unused Proof Steps] and use the [Append] to append the selected step. Alternatively you place the deleted step with the order select box at a certain position in the proof.
[Suggestion]-Button: By application of the [Suggestion]-Button you can display suggestions for the next proof steps. The suggestions contain false suggestions in some cases all suggestions might be wrong (e.g. if the proof step itself is false). If you press the [Suggestion]-Button, it could lead to a deduction of points for the proof step, if is defined in the setting of the proof. A selection of a proof steps replaces the next proof step with the selected one or appends the selected proof step to the e-proof.
Unused Proof Steps: An e-proof could contain proof steps that are not necessary for the proof or that contains mathematical errors. Deleted or unused steps are stored the section for the unused proof steps. [Append Step] or selecting the new position places the steps back to the e-proof.
Edit Proof Steps [EDIT]: If an identificator is starting with [MY..], then the step can be edited according to the requirements. If you want to change the proof step click [EDIT]-button. The option is available, if the option of self-defined proof steps is set.
Hide Help Page: You can hide the help page, if you press the Help-Button again or press the [X]-Button.

Beweisfragmente verschieben: Die Beweisfragmente können mit der Positionsnummer an eine andere Stelle im Beweis verschoben werden. Die zugehörigen Begründungen und Bezüge bilden ein Einheit mit dem Beweisfragment und werden daher ebenfalls verschoben.
3 Fragezeichen: Wenn in dem Beweisfragement links noch 3 Fragezeichen stehen "???", so ist noch kein Bezug zum vorherigen Beweisschritt gesetzt worden. Diesen sollte man angeben oder wenn es keinen Bezug zum vorherigen Beweisschritt gibt, sollte man den Bezug auf "START" einer neuen Beweissequenz setzen.
Identifikatoren für Beweisfragmente: Jedes Beweisfragment und jede Begründung hat einen Identifikator (z.B. [S1],[J1],...). Dieser ist eindeutig in einem Beweis gewählt.
Begründungen: Jeder Beweisschritt kann Begründungen enthalten, wenn Sie diese auswählen wollen, drücken Sie einfach auf [Begründungen:]. Danach erscheint eine Liste aller verfügbaren Begründungen, aus denen Sie die relevanten Begründungen auswählen können. Nach der Auswahl auf [OK] drücken und die Ihre Auswahl der Begründungen wird zu dem jeweilgen Schritt angezeigt.
Editiermöglichkeiten ausblenden: Für jeden Schritt sind die Editiermöglichkeiten eingeblendet. Für die abschließende Korrektur kann man diese Editiermöglichkeiten ausblenden. Dies ist oben bei Darstellung des Beweise möglich.
[X]-Button: Mit dem [X]-Knopf in dem jeweilgen Beweisschritt kann man das Beweisfragment aus Ihrem Beweis entfernen. Dieser ist dann aber nicht unwiederbringlich gelöscht, sondern kann unten bei [Nicht verwendete Beweisschritte] mit [+] wieder eingeblendet werden.
[Vorschlag]-Button: Mit dem [Vorschlag]-Knopf kann man Vorschläge anzeigen lassen. Die Vorschläge werden für den nachfolgenden Beweisschritt angezeigt. Wenn der [Vorschlag]-Knopf gefrückt wurde, kann es zu Punktabzü,gen kommen, wenn das im e-Beweis so eingestellt wurde. Eine Vorschlagsauswahl ersetzt dann den Beweisschritt nachfolgenden Beweisschritt entsprechend. Der Vorschlagsknopf am Ende des Beweis hängt einen neuen Beweisschritt an den Beweis an.
Nicht verwendete Beweisschritte: In einem Beweis können auch Beweisschritte enthalten, die nicht für den Beweis notwendig sind. Diese landen hinter dem Beweis unten auf der Seite in einem Container der "nicht verwendeten Beweisschritte". Auch gelöschte Beweisfragemente finden sich hier. Mit dem [+] oder der Angabe der Position im Beweis kann man diese wieder an einer bestimmten Stelle in Ihren Beweis integrieren.
Editierbare Beweisschritte [EDIT]: Wenn ein Beweisfragement den Identifikator [MY..] besitzt, kann dieser auch verändert werden. Um den Beweisschritt zu verändern, klicken Sie auf den [EDIT]-Knopf, der aber nur angezeigt wird, wenn die Einstellungen des e-Beweises dieses vorsehen.
Ausblenden der Hilfe: Diese Hilfe kann wieder ausgeblendet werden, wenn Sie unten erneut auf den Hilfe-Knopf oder oben neben der Überschrift Hilfe auf [X] drücken.

Information: Tutorial	Video/Screencast	ASCII-Math