Q-Decider


Use the input form for your arithmetic equation:
Traditional Form Input Form
a = b id[a,b]
a + b plus[a,b]
a - b minus[a,b]
a x b times[a,b]
a : b div[a,b]
a^b power[a,b]

Enter an equation:

The result is:

Enter "1" for getting the proof in terms of the applyied primitive rules:
Enter a number between "1" and "6" to structure the proof:

The print output is:



Powered by webMathematica

Datenschutzerklaerung

© Timm Lampert / 2014-11-08