Аксиома (система компьютерной алгебры)
-
История и разработка Axiom
- IBM создала две системы компьютерной алгебры Scratchpad, первая из которых была остановлена до выпуска.
- Вторая Scratchpad, Scratchpad II, разрабатывалась с 1977 года и была переименована в Axiom в 1990 году.
- Axiom был продан компании NAG в 2001 году и позже переиздан под лицензией BSD.
- В 2007 году проект Axiom разделился на OpenAxiom и FriCAS из-за разногласий по целям проекта.
-
Дизайн и особенности Axiom
- Axiom имеет строго типизированную иерархию и поддерживает различные математические структуры и структуры данных.
- Функции могут принимать типы в качестве аргументов и возвращать типы.
- Axiom использует язык SPAD для описания математических знаний и имеет расширенный интерпретатор с выводом типов и эвристическим алгоритмом.
- Axiom включает в себя HyperDoc, интерактивную справочную систему, и поддерживает двухмерную и трехмерную графику.
-
Реализация и ограничения
- В Axiom реализована функция Риша для элементарного интегрирования, но есть нереализованные ветви и ошибки при возникновении ошибок.
-
Текущее состояние и рекомендации
- Axiom продолжает развиваться в направлении «Доказательства здравомыслия аксиом».
- Для дальнейшего чтения рекомендуется ознакомиться с докладами Тимоти Дейли и материалами, связанными с Axiom.
-
Внешние ссылки
- Ссылки на Викисклад, домашнюю страницу Axiom, онлайн-песочницу для тестирования Axiom и хранилища исходного кода доступны на сайте.
Полный текст статьи: