Axiom — система компьютерной алгебры, полезная для исследования и разработки математических алгоритмов. Поддерживает строгую типизацию, математически точную иерархию типов. Имеется язык программирования и компилятор.
Полный текст на http://beshenov.ru/potd/20071128.html