>>8Yes. It doesn't actually teach you about cool symbolic algorithms (with regards to integration, differentiation, simplification, solving). If you want to learn that, read SICP, PAIP, SICM and ``Computer Algebra and Symbolic Computation'' (at first this looks like it just teaches you how to program an existing CAS, but it actually does more than that) both volumes (also read Maxima source).