Математика - Axiom

Axiom — свободная система компьютерной алгебры общего назначения. Она состоит из среды интерпретатора, компилятора и библиотеки, описывающей строго типизированную, математически правильную иерархию типов.Пригодна для изучения различных математических алгоритмов, выпускается под измененной лицензией Berkeley Software Distribution (BSD). Она включает высокотипизированную иерархию математических объектов и часто используемых в программировании структур данных для группирования объектов и контроля над ними. Написанная на специальном языке программирования A#, Axiom является подходящим инструментом для тех, кто намерен изучить алгоритмические модели. AXIOM -- система компьютерной алгебры с долгой историей. Она разрабатывалась с 1971 года в IBM, в 1990 была продана NAG (Numerical Algorithms Group). Долгое время AXIOM оставалась самой дорогой из коммерческих CAS. В 2001 NAG перестала продавать AXIOM ввиду нерентабельности и приняла решение открыть иcходный код, в который по некоторым оценкам вложено около трехсот человеко/лет исследовательского труда.

Сайт разработчика: http://portal.axiom-developer.org/
Что почитать?

• Материал из Википедии
• Система компьютерной алгебры «Аксиома»
• Список систем интерактивной геометрии
• Математика на рабочей станции UNIX