Nother


A paralled language for doing symbolic mathematics.