This is an interesting "book" that reduces geometry to automated symbol pushing. http://www.math.rutgers.edu/~zeilberg/GT.html http://www.math.rutgers.edu/~zei

This is an interesting "book" that reduces geometry to automated symbol pushing. http://www.math.rutgers.edu/~zeilberg/GT.html http://www.math.rutgers.edu/~zeilberg/GT.html