A Lisp-like, general-purpose scripting language.
An object-oriented, type safe, multi-threaded approach to computer algebra.