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