interactive symbolic math system written in Scheme, see http://people.csail.mit.edu/jaffer/JACAL - View it on GitHub