[jules]

This is an interesting "book" that reduces geometry to automated symbol pushing.

http://www.math.rutgers.edu/~zeilberg/GT.html