www.cs.berkeley.edu/~fateman/mma1.6 for mockmma I don't know about netmath. The code for the four programs below is probably 2 or 3 pages of lisp. Netmath.exe seems to be a megabyte of stuff.