Nother
A paralled language for doing symbolic mathematics.