An object-oriented, type safe, multi-threaded approach to computer algebra.
A general Java template engine based on passive templates.