Axiom — бесплатная система компьютерной алгебры общего назначения . Он состоит из среды интерпретатора, компилятора и библиотеки, которая определяет строго типизированную иерархию.
Две системы компьютерной алгебры под названием Scratchpad были разработаны IBM . Первый был начат в 1965 году Джеймсом Грисмером [2] по просьбе Ральфа Гомори и написан на Фортране . [3] Разработка этого программного обеспечения была остановлена до его публичного выпуска. Второй блокнот, первоначально называвшийся Scratchpad II , разрабатывался с 1977 года в Исследовательском центре Томаса Дж. Уотсона под руководством Ричарда Димика Дженкса. [4]
Разработка в основном принадлежит Ричарду Д. Дженксу (IBM Research), Джеймсу Х. Дэвенпорту (Университет Бата), Барри М. Трэгеру (IBM Research), Дэвиду Ю. Юну (Южный методистский университет) и Виктору С. Миллеру (IBM Research). ). Первыми консультантами проекта были Дэвид Бартон (Калифорнийский университет, Беркли) и Джеймс Тэтчер (IBM Research). В реализации участвовали Роберт Сутор (IBM Research), Скотт С. Моррисон (Калифорнийский университет, Беркли), Кристин Дж. Сундаресан (IBM Research), Тимоти Дейли (IBM Research), Патриция Джанни (Университет Пизы), Альбрехт Фортенбахер (Университет Карлсруэ ) . ), Стивен М. Ватт (IBM Research и Университет Ватерлоо), Джош Коэн (Йельский университет), Майкл Ротштейн (Кентский государственный университет), Мануэль Бронштейн (IBM Research), Майкл Монаган (Университет Саймона Фрейзера), Джонатан Штайнбах (IBM Research) ), Уильям Бердж (IBM Research), Джим Вен (IBM Research), Уильям Сит (Городской колледж Нью-Йорка) и Клифтон Уильямсон (IBM Research) [5]
Scratchpad II был переименован в Axiom , когда примерно в 1990 году IBM решила сделать его коммерческим продуктом. Через несколько лет он был продан NAG . В 2001 году он был отозван с рынка и перевыпущен под модифицированной лицензией BSD . С тех пор ведущим разработчиком проекта является Тим Дейли.
В 2007 году Axiom дважды разветвлялась , в результате чего возникли два разных проекта с открытым исходным кодом : OpenAxiom [6] и FriCAS [7] из-за «серьезных разногласий по поводу целей проекта» . [8] Проект Axiom продолжал развиваться Тимом Дейли.
Текущее направление исследований — «Доказательство разумности аксиомы» , то есть логичности, рациональности, рассудительности и здравости.