what can oot learn from computer algebra and theorem-proving systems?
--
Computer algebra systems get rid of parens around assoc ops to reach canonical form
![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
