History of proj-oot-ootMathAssistantNotes1
2014-10-30
22:18 UTC
Revision 1
. . . .
BayleShanks
–
what can oot learn from computer algebra and theorem-proving systems? -- Computer algebra systems get rid of parens around assoc ops to reach . . .