History of proj-jasper-jasperMathAssistantNotes1
2014-07-12
05:13 UTC
Revision 1
. . . .
BayleShanks
–
what can jasper learn from computer algebra and theorem-proving systems? -- Computer algebra systems get rid of parens around assoc ops to reach . . .