Agena is an interpreted procedural programming language.
Interactive geometry software for Euclidean and non-Euclidean spaces
A collection of machine-checkend mathematical proofs
A system for computer algebra and symbolic mathematics
Tinger Calc is a powerful scientific calculator environment.