History of ideas-computer-jasper-jasperMathAssistantNotes1

2014-01-31
02:06 UTC Revision 1 . . . . BayleShankswhat can jasper learn from computer algebra and theorem-proving systems? -- Computer algebra systems get rid of parens around assoc ops to reach . . .