Список систем компьютерной алгебры
В следующих таблицах представлено сравнение систем компьютерной алгебры (CAS). [1] [2] [3] CAS — это пакет, содержащий набор алгоритмов для выполнения символьных манипуляций над алгебраическими объектами, язык для их реализации и среду, в которой можно использовать этот язык. [4] [5] CAS может включать в себя пользовательский интерфейс и графические возможности; и для эффективности может потребоваться большая библиотека алгоритмов, эффективные структуры данных и быстрое ядро. [6]
Общий
[ редактировать ]Система | Создатель | Разработка началась | Первый публичный релиз | Последняя стабильная версия | Дата последней стабильной версии | Стоимость ( долл. США ) | Лицензия | Примечания |
---|---|---|---|---|---|---|---|---|
Аксиома | Ричард Дженкс | 1977 | 1993 и 2002 годы [7] | август 2014 г. [8] | Бесплатно | модифицированная лицензия BSD | CAS общего назначения. Непрерывный выпуск с использованием Docker-контейнеров | |
Кадабра | Каспер Петерс | 2001 | 2007 | 2.4.0 | 25 августа 2022 г. | Бесплатно | GNU GPL | CAS для тензорной теории поля |
Какао | Джон Эбботт, Анна М. Бигатти , Джованни Лагорио | 1987 | 1995 | 5.2.0 | 2 мая 2017 г. | Бесплатно | GNU GPL | Специализированный CAS для коммутативной алгебры |
Вывести | Мягкий склад | 1979 | 1988 | 6.1 | ноябрь 2007 г. | Снято с производства | Собственный | CAS, предназначенный для микрокомпьютеров DOS и Windows; оно было прекращено в 2007 году |
Клен (он же ALGB) | Бернар Парисс , Мика Хейсканен, Клод-Николя Фихтер | 1993 | 1993 | 4.20060919 | 21 апреля 2009 г. | Бесплатно | LGPL | для - научных калькуляторов серии HP 48/49/40/50 CAS Packard ; Hewlett графических разработан прекращено в 2009 году |
Ферма | Роберт Х. Льюис | 1986 | 1993 | 6.5 | 21 июня 2021 г. | 70 долларов США, если есть деньги на грант, в противном случае 0 долларов США. | GNU GPL | Специализированный CAS для результирующих вычислений и линейной алгебры с полиномиальными элементами |
ФОРМА | ДЖЕМ Вермасерен | 1984 | 1989 | 4.3.1 | 11 апреля 2023 г. [9] | Бесплатно | GNU GPL | CAS, разработанный в основном для физики элементарных частиц. |
ПтCAS | Вальдек Хебиш | 2007 | 2007 | 1.3.11 | 1 июля 2024 г. | Бесплатно | модифицированная лицензия BSD | Полнофункциональная CAS общего назначения. Особенно силен в символической интеграции. |
ЗАЗОР | ГАП Групп | 1986 | 1986 | 4.13.1 | 13 июня 2024 г. [10] | Бесплатно | GNU GPL [11] | Специализированная CAS по теории групп и комбинаторике . |
ГеоГебра CAS | Маркус Хоэнвартер и др. | 2013 | 6.0.753.0 | 3 января 2023 г. | Бесплатно для некоммерческого использования [12] | Бесплатное ПО [12] | Веб- или настольный CAS-калькулятор | |
ГиНаК | Кристиан Бауэр, Александр Фринк, Ричард Б. Крекель и др. | 1999 | 1999 | 1.8.3 | 23 марта 2022 г. | Бесплатно | GNU GPL | Интегрируйте символьные вычисления в программы на C++; нет высокоуровневого интерфейса, но упор делается на совместимость. |
GNU Октава | Джон В. Итон | 1993 | 1994 | 7.3.0 | 2022 | Бесплатно | GPLv3+ | Язык программирования высокого уровня для научных вычислений и числовых вычислений, наиболее совместимый с MATLAB. |
КАНТ/КАШ | Группа компаний «КАНТ» | ? | ? | 3 | 2005 /2008 | Бесплатно для некоммерческого использования | собственная лицензия | Специализированный CAS для алгебраической теории чисел |
Живая Математика | МатМонкис, ООО | 1991 | 1993 | 3.6 | 2018 | 399 долларов США (коммерческий), 299 долларов США (академический), 199 долларов США (персональная версия), 69 долларов США (студент), 29 долларов США (студент, 3-месячный семестр) [13] | Собственный | Больше интерфейса, чем вычислительной мощности |
Маколей2 | Дэниел Грейсон и Майкл Стиллман | 1992 | 1994 | 1.24.05 | 15 мая 2024 г. | Бесплатно | GNU GPL | Специализированный CAS для алгебраической геометрии и коммутативной алгебры |
Максима | Проект MIT MAC и символика | 1968 | 1978 | 2.4 | 1999 | $500 | Собственный | Старейшая CAS общего назначения. Все еще жива как Максима . |
Магма | Сиднейский университет | ~1990 | 1993 | 2.27-8 | 22 февраля 2023 г. | $1,440 | Собственный | CAS общего назначения, первоначально специализировавшаяся на теории групп . Работает с элементами алгебраических структур , а не с нетипизированными математическими выражениями. |
Магнус | Нью-Йоркский кооператив теории групп | 1994 | 1997 | 2005 | Бесплатно | GNU GPL | Специализированная CAS для теории групп, предоставляющая средства для выполнения вычислений в бесконечных группах и вокруг них . Снято с производства в 2005 году. | |
Клен | Группа символьных вычислений, Университет Ватерлоо | 1980 [14] | 1984 | 2024 г. (6 марта 2024 г [±] [15] | )15 марта 2022 г. | 2390 долларов США (коммерческий), 2265 долларов США (правительственный), 995 долларов США (академический), 239 долларов США (персональная версия), 99 долларов США (студент), 79 долларов США (студент, 12-месячный семестр) [16] | Собственный | Одна из основных CAS общего назначения. |
Маткад | Корпорация параметрических технологий | 1985 | 1985 | 15,0 М045 | 27 февраля 2021 г. | 1600 долларов США (коммерческая версия), 105 долларов США (студенческая версия), бесплатно (экспресс-версия) [17] | Собственный | Числовое программное обеспечение с некоторыми возможностями CAS |
Математика | Вольфрам Исследования | 1986 | 1988 | 14.1.0 (31 июля 2024 г [±] [18] | )29 июня 2022 г. | 2495 долларов США (профессиональные), 1095 долларов США (образование), 295 долларов США (личные), [19] 140 долларов США (студент), 69,95 долларов США (годовая студенческая лицензия), [20] бесплатно на Raspberry Pi оборудовании [21] | Собственный | Одна из основных CAS общего назначения. |
Математика | Ян Пёшко | 2016 | 2016 | 6.0.1 | 5 марта 2023 г. | Бесплатно | GPL3 | Использует синтаксис Mathematica. |
Математический | Джордж Гесслейн II | 1986 | 1987 | 16.0.5 | 2012 | Снято с производства | LGPL | Элементарная алгебра , исчисление , комплексные числа и полиномиальные манипуляции. |
Максима | MIT Project MAC и Билл Шелтер и др. | 1967 | 1998 | 5.46.0 [22] | 13 апреля 2022 г. | Бесплатно | GNU GPL | CAS общего назначения. Продолжение Максимы ; новые выпуски выходят примерно два раза в год. |
В МАТЕМАТИКЕ | Мягкий склад | 1970-е годы | 1980 | В МАТХ-83 | Снято с производства | Собственный | Предшественник производного | |
МуПАД | Программное обеспечение SciFace | 1989 | 2008 | 5.1 | 2008 | Снято с производства | Собственный | MathWorks включила технологию MuPAD в Symbolic Math Toolbox. |
OpenAxiom | Габриэль Дос Рейс | 2007 | 2007 | 1.4.2 | 2013 | Бесплатно | модифицированная лицензия BSD | CAS общего назначения. Развилка Аксиомы. |
ПАРИ/ГП | Анри Коэн , Карим Белабас, Билл Алломберт и др. | 1985 | 1990 | 2.11.4 | 17 апреля 2020 г. | Бесплатно | GNU GPL | Специализированный CAS по теории чисел . |
Уменьшать | Энтони С. Хирн | 1960-е годы | 1968 | 2018 | Бесплатно | модифицированная лицензия BSD | Исторически важная CAS общего назначения. Все еще жив, поскольку исходный код открыт и выпущен в декабре 2008 года. | |
SageMath | Уильям А. Стейн | 2005 | 2005 | 9.8 | 11 февраля 2023 г. [23] | Бесплатно | GNU GPL | Система математического программного обеспечения, объединяющая ряд существующих пакетов, включая численные вычисления , статистику и обработку изображений. |
Сцилаб | Сцилаб Предприятия | 1990 | 1990 | 2023.0 | 10 марта 2023 г. | Бесплатно | CeCILL (совместимый с GPL) до версии 5.5.2 GPL v2.0, начиная с версии 6.0.2 | Альтернатива Матлабу. |
SICMUtils | Колин Смит, Сэм Ричи | 2014 | 2016 | 0.13.0 | 9 ноября 2020 г. | Бесплатно | GNU GPL | Clojure и Clojurescript, Система компьютерной алгебры оптимизированная для классической механики и дифференциальной геометрии исследований . |
ЕДИНСТВЕННЫЙ | Университет Кайзерслаутерна | 1984 | 1997 | 4-3-0 | 14 января 2022 г. | Бесплатно | GNU GPL | Система компьютерной алгебры для полиномиальных вычислений с особым упором на коммутативную и некоммутативную алгебру , алгебраическую геометрию и теорию особенностей . |
SMath Студия | Андрей Ивашов | 2004 | 2006 | 1.0.8348 | 9 ноября 2022 г. | Бесплатно | Собственный | Программа-математическая тетрадь, похожая на Mathcad. |
Символика | Бен Руйл | 2023 | 2024 | июль 2024 г. | Бесплатно для любителей. Одно ядро и один экземпляр бесплатно для некоммерческого использования. В противном случае за дополнительную плату. | Запатентовано, но исходный код доступен | Библиотека CAS, написанная на Rust с привязками Python , ориентированная на производительность больших выражений. [24] [25] [26] . | |
Программа символических манипуляций | Стивен Вольфрам | 1979 [27] | 1981 | 1988 | Снято с производства | Собственный | Это программное обеспечение в конечном итоге было заменено Mathematica , и новая программа по-прежнему сохраняет большую часть синтаксиса и функциональности более ранней SMP. [28] | |
Символьная математическая панель инструментов ( MATLAB ) | MathWorks | 1989 | 2008 | 9.4(2018а) | 2018 | 3150 долларов США (коммерческий), 99 долларов США (студенческий пакет), 700 долларов США (академический), 194 доллара США (домашний), включая необходимый Matlab | Собственный | Предоставляет инструменты для решения символьных математических выражений и манипулирования ими, а также выполнения арифметических операций с переменной точностью. |
Символика.jl ( https://symbolics.juliasymbolics.org/stable/ ) | Шаши Гауда, Инбо Ма, Крис Ракаукас | 2021 | 2021 | v5.3.1 | 25 апреля 2023 г. | Бесплатно | МОЯ лицензия | Быстрая и современная система компьютерной алгебры для языка программирования Julia . [29] |
СимПи | Ондрей Чертик | 2006 | 2007 | 1.12 | 10 мая 2023 г. | Бесплатно | модифицированная лицензия BSD | Python на основе |
TI-Nspire CAS (компьютерное программное обеспечение) | Техасские инструменты | 2006 | 2009 | 5.1.3 | 2020 | Собственный | Преемник Derive. На основе двигателя Derive, используемого в TI-89/Voyage 200 и портативном компьютере TI-Nspire. | |
Вольфрам Альфа | Вольфрам Исследования | 2009 | 2013 | Версия Pro: 4,99 доллара США в месяц, версия Pro для студентов: 2,99 доллара США в месяц, версия ioRegular: бесплатно. | Собственный | Онлайн- система компьютерной алгебры с пошаговыми решениями. | ||
Xcas / Гиак | Бернар Парисс | 2000 | 2000 | 1.9.0-99 | май 2024 г. | Бесплатно | лицензия GPL | Общий CAS, также адаптированный для HP Prime . Совместимые режимы для синтаксиса Maple, MuPAD и TI89. Символические таблицы, библиотека Giac для использования с другими программами. Порты ARM для некоторых КПК с Linux или WinCE [30] |
Якас | Аял Пинкус и др. | 1998 [31] | 1999 | 1.9.1 | 4 июля 2020 г. | Бесплатно | GNU GPL | |
Создатель | Разработка началась | Первый публичный релиз | Последняя стабильная версия | Дата последней стабильной версии | Стоимость ( долл. США ) | Лицензия | Примечания |
общего назначения Эти системы компьютерной алгебры иногда комбинируются с «внешними» программами, которые обеспечивают лучший пользовательский интерфейс, такими как GNU TeXmacs .
Функциональность
[ редактировать ]Ниже приводится краткое описание значительно развитой символьной функциональности в каждой из систем.
Система | Редактор формул | Произвольная точность | Исчисление | Решатели | Теория графов | Теория чисел | Удаление квантификатора | Булева алгебра | Тензоры | Вероятность | Теория управления | Теория групп | Система | |||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Интеграция | Интегральные преобразования | Уравнения | Неравенства | Диофантовы уравнения | Дифференциальные уравнения | Рекуррентные отношения | ||||||||||||
Аксиома | Нет | Да | Да | Да | Да | Да | Да | Да | Да | Нет | Да | Да | Да | Да | Да | Нет | Да | Аксиома |
Кадабра | Нет | Да | Да | Да | Да | Да | Нет | Да | Нет | Нет | Нет | Нет | Нет | Да | Нет | Нет | Да | Кадабра |
ПтCAS | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Нет | Да | ПтCAS |
ЗАЗОР | Нет | Да | Нет | Нет | Да | Да | Да | Нет | Да | Да | Да | Да | Да | Да | Нет | Нет | Да | ЗАЗОР |
Магма | Нет | Да | Нет | Нет | Да | Нет | Да | Нет | Нет | Да | Да | Нет | Нет | Нет | ? | ? | Да | Магма |
Магнус | Нет | Да | Нет | Нет | Нет | Нет | Нет | Нет | Нет | ? | ? | Нет | ? | Нет | Нет | Нет | Да | Магнус |
Клен | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Клен |
Маткад | Да | Нет | Да | Нет | Да | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Маткад |
Математика | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да [32] | Да | Да | Да | Математика |
Математика | Нет | Да [А] | Да [А] | Да [А] | Да [А] | Да [А] | Да [А] | Да [А] | Да [А] | Да [33] | Да | Нет | Да | Да | Да | Нет | Да | Математика |
Математический | Нет | Нет | Да | Да | Да | Нет | Нет | Нет | Нет | Нет | Да | Нет | Нет | Нет | Нет | Нет | Нет | Математический |
Максима | Нет | Да | Да | Да | Да | Да | Нет | Да | Да | Да | Да | Нет | Да | Да | Да | Да | Да | Максима |
Уменьшать | Нет | Да | Да | ? | Да | Да | ? | Да | ? | ? | Да | Да | Да | Да | ? | ? | ? | Уменьшать |
SageMath | Нет | Да | Да | Да | Да | Да | Да [А] | Да | Да | Да | Да | Да [Б] | Да | Да | Да | Нет | Да | SageMath |
SICMUtils | Нет | Да | Да | Нет | Да | Нет | Нет | Да | Нет | Нет | Нет | Нет | Да | Да | Нет | Нет | Нет | SICMUtils |
SMath Студия | Да | Нет | Да | Нет | Да | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | SMath Студия |
Символьная математическая панель инструментов ( MATLAB ) | Да | Да | Да | Да | Да | Да | Да | Да | Нет | Да | Да | Нет | Да | Нет | Да | Да | Нет | Символьная математическая панель инструментов ( MATLAB ) |
СимПи | Нет | Да | Да | Да | Да | Да | Да [34] | Да | Да | Нет | Да | Нет | Да | Да | Да | Нет | Да | СимПи |
Вольфрам Альфа | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Да | Нет | ? | ? | Да | Вольфрам Альфа |
Xcas / Гиак | Да | Да | Да | Нет | Да | Да | Нет | Да | Да | Нет | Да | Нет | Нет | Нет | Да | ? | ? | Xcas / Гиак |
Якас | Нет | Да | Да | Нет | Да | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | Нет | ? | ? | Нет | Якас |
Те, которые не «редактируют уравнения», могут иметь графический интерфейс , графики, графические формулы ASCII и печать математических шрифтов. Возможность создания файлов с открытым текстом также является востребованной функцией, поскольку она позволяет понять работу людям, у которых нет установленной системы компьютерной алгебры.
Поддержка операционной системы
[ редактировать ]Программное обеспечение может работать под соответствующими операционными системами без эмуляции . Некоторые системы необходимо сначала скомпилировать с использованием соответствующего компилятора для исходного языка и целевой платформы. Для некоторых платформ могут быть доступны только более старые версии программного обеспечения.
Система | ПРИНАДЛЕЖАЩИЙ | Окна | macOS | Линукс | БСД | Солярис | Андроид | iOS | SaaS | Другой |
---|---|---|---|---|---|---|---|---|---|---|
Аксиома | ? | Эмулятор | Да | Да | Нет | Нет | ? | ? | Нет | |
Кадабра | Нет | Да | Да | Да | Да | Нет | Нет | Нет | Нет | |
Какао | Нет | Да | Да | Да | Да | Да | ? | ? | Нет | Tru64 UNIX , HP-UX , IRIX |
Вывести | Да | Да | Нет | Нет | Нет | Нет | ? | ? | Нет | |
Клен | Нет | Эмулятор | Эмулятор | Эмулятор | Нет | Нет | Нет | Нет | Нет | РПЛ на HP 48/49/50/40 Система серии |
Эйлер | ? | Да | Нет | Да | Нет | Нет | ? | ? | Нет | |
Ферма | ? | Сигвин | Да | Да | Нет | Нет | ? | ? | Нет | |
ФОРМА | ? | Сигвин | Да | Да | Да | Да | ? | ? | Нет | |
ПтCAS | ? | Cygwin +родной | Да | Да | Да | Да | Да | ? | Нет | |
ЗАЗОР | ? | Да | Да | Да | Да | Да | ? | ? | Нет | |
КАНТ/КАШ | ? | Да | Да | Да | Нет | Нет | ? | ? | Нет | |
Маколей2 | ? | Сигвин | Да | Да | Да | Да | ? | ? | Нет | |
Магма | ? | Да | Да | Да | Да | Да | ? | ? | Нет | |
Магнус | Нет | Да | ? | Да | ? | Да | Нет | Нет | Нет | СанОс |
Клен | Нет | Да | Да | Да | Нет | Нет | Нет | Нет | Нет | |
Маткад | Да | Да | Нет | Нет | Нет | Нет | Нет | Нет | Нет | |
Математика | Да | Да | Да | Да | Нет | Нет | Нет | Нет | Да | Малиновый Пи [21] |
Математика | Нет | Да | Да | Да | Да | Нет | Нет | Нет | Нет | Все POSIX- платформы |
Математический | Да | Да | Да | Да | Да | Да | Нет | Да | Нет | Все POSIX- платформы |
Максима | ? | Да | Да | Да | Да | Да | Да | ? | Нет | Все платформы POSIX с Common Lisp. |
В МАТЕМАТИКЕ | Да | Нет | Нет | Нет | Нет | Нет | ? | ? | Нет | |
OpenAxiom | ? | Да | Да | Да | Да | Да | ? | ? | Нет | |
ПАРИ/ГП | ? | Да | Да | Да | Да | Да | Да | ? | Нет | |
Уменьшать | ? | Да | Да | Да | Да | Да | Да | Да | Нет | |
SageMath | Нет | Да | Да | Да | Нет | Да | Нет | Да | Да | |
SICMUtils | Нет | Да | Да | Да | Да | Да | Да | Да | Да | Любая система, поддерживающая Clojure или Clojurescript. |
ЕДИНСТВЕННЫЙ | ? | Да | Да | Да | Да | Да | ? | ? | Нет | |
SMath Студия | Нет | Да | Мононуклеоз | Мононуклеоз | Мононуклеоз | Мононуклеоз | Да | Да | Да | Универсальная платформа Windows |
Символьная математическая панель инструментов ( MATLAB ) | Нет | Да | Да | Да | Нет | Нет | Нет | Нет | Да | |
СимволическийC++ | ? | Да | Да | Да | Да | Да | ? | ? | Нет | |
СимПи | ? | Да | Да | Да | Да | Да | Да | Да | Да [35] | Любая система, поддерживающая Python |
TI-Nspire (программное обеспечение для настольных компьютеров) | Нет | Да | Да | Нет | Нет | Нет | Нет | Да | Нет | |
Xcas / Гиак | Нет | Да | Да | Да | Да | Да | Да | Да | Нет | HP Prime CAS , KhiCAS для TI Nspire |
Якас | Нет | Да | Да | Да | Да | Да | ? | ? | Нет |
Графические калькуляторы
[ редактировать ]Некоторые графические калькуляторы имеют функции CAS.
Система | Создатель | Разработка началась | Первый публичный выпуск/версия ОС | Последняя стабильная версия/версия ОС | Примечания |
---|---|---|---|---|---|
Касио CFX-9970G | Компьютерная компания CASIO. | ? | 1998 | ||
Casio Алгебра FX 2.0 , Casio Алгебра FX 2.0 Плюс | Компьютерная компания CASIO. | ? | 1999 | ||
Casio ClassPad 300 , Casio ClassPad 300 Plus , Casio ClassPad 330 , Casio ClassPad 330 Plus , Casio ClassPad fx-CP400 , Casio fx-CG500 Менеджер Casio ClassPad | Компьютерная компания CASIO. | 2002 | 2003 | 3.10.7000 (КлассPad I) 2.01.7000 (ClassPad II, fx-CG500) | ClassPad Manager — это эмулятор, работающий на ПК. |
HP 49G , HP 49g+ , HP 48gII , HP 50g , HP 40G , HP 40gs | Хьюлетт-Паккард | 1993 | 1.??(1999) / 4 | 2.15 (2006-09-19, 2009-04-21) / 4 | На основе Erable , который также доступен в качестве дополнения для HP 48S , HP 48SX , HP 48G , HP 48G+ , HP 48GX . Предназначен для решения проблем, возникающих в инженерных приложениях. Исходный код в открытом доступе. |
HP Прайм | Хьюлетт-Паккард | 2000 | 2013 | 2.1.14433 (21.01.2020) Версия CAS. 1.5.0 | На основе Xcas / Giac . Исходный код в открытом доступе. |
ТИ-89 | Техасские инструменты | 1995 | 1996 | 2.09 | |
ТИ-89 Титан | Техасские инструменты | 2003 | 2004 | 18.07.2005 v3.10 | |
ТИ-92 | Техасские инструменты | 1994 | 1995 | ? | |
ТИ-92 Плюс | Техасские инструменты | 1997 | 1998 | 27.03.2003 v2.09 | |
TI-Nspire CAS , TI-Nspire CX CAS , TI-Nspire CX II CAS | Техасские инструменты | 2006 | 2008 | 2021 v4.5.5.79 (для TI-Nspire CX CAS), 2022 v5.4.0.259 (для TI-Nspire CX II CAS) | |
Вояж 200 | Техасские инструменты | 2001 | 2002 | 18.07.2005 v3.10 |
См. также
[ редактировать ]- Категория: Системы компьютерной алгебры
- Сравнение программного обеспечения для численного анализа
- Сравнение статистических пакетов
- Список программного обеспечения для информационной графики
- Список программного обеспечения для численного анализа
- Список числовых библиотек
- Список статистического программного обеспечения
- Математическое программное обеспечение
- Веб-моделирование
Ссылки
[ редактировать ]- ^ «Программное обеспечение компьютерной алгебры» . Специальная группа по символическим и алгебраическим манипуляциям . Ассоциация вычислительной техники. 11 июля 2008 г. Проверено 16 ноября 2012 г.
- ^ «Системы и пакеты» . Информационная сеть по компьютерной алгебре. 07.05.1998 . Проверено 17 ноября 2012 г.
- ^ «Листинг систем SAC» . Символическая сеть. Архивировано из оригинала 15 апреля 2012 г. Проверено 17 ноября 2012 г.
- ^ Аладьев, В.З. (2004). Системы компьютерной алгебры: новый набор программных инструментов для Maple . [Sl]: Книги Фултуса. п. 9. ISBN 9781596820005 .
- ^ Лабан, КО Геддес; С.Р. Чапор; Г. (1999). Алгоритмы компьютерной алгебры (6-е изд.). Бостон: Клювер. стр. xv. ISBN 9780792392590 .
{{cite book}}
: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Герхард, Иоахим фон Цур Гатен; Юрген (2003). Современная компьютерная алгебра (2-е изд.). Кембридж: Кембриджский университет. Нажимать. стр. 4 . ISBN 9780521826464 .
{{cite book}}
: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Первая дата — это дата первого коммерческого выпуска (следует проверить), вторая — дата первой бесплатной лицензии.
- ^ «Система компьютерной алгебры Аксиома» . Проверено 29 апреля 2016 г.
- ^ «Релизы — vermaseren/form — GitHub» . Гитхаб . Проверено 29 апреля 2016 г.
- ^ «Релиз v4.13.1 · Gap-система/Gap» . Гитхаб . Проверено 22 июня 2024 г.
- ^ «ГАП Авторское право» . 14 июня 2012 г. Проверено 26 февраля 2015 г.
- ^ Перейти обратно: а б «Лицензия ГеоГебра» . Проверено 15 июля 2023 г.
- ^ «Магазин ЖивойМатематики» . Проверено 25 февраля 2020 г.
- ^ МакКаллум, Малкольм А.Х. (2018). «Компьютерная алгебра в исследованиях гравитации» . Живые обзоры в теории относительности . 21 (1): 6. Бибкод : 2018LRR....21....6M . дои : 10.1007/s41114-018-0015-6 . ISSN 2367-3613 . ПМК 6105178 . ПМИД 30174551 .
- ^ «Медиа-релизы Maplesoft» . www.maplesoft.com . Проверено 12 мая 2024 г.
- ^ «Интернет-магазин Maplesoft» . Проверено 14 марта 2019 г.
- ^ «Интернет-магазин PTC» . Проверено 1 февраля 2015 г.
- ^ «Еще больше новых идей и новых функций: выпуск версии 14.1 Wolfram Language & Mathematica» . Проверено 31 июля 2024 г.
- ^ Коэн, Питер (5 февраля 2009 г.). «Выпущена домашняя версия Mathematica» . Макмир . Проверено 3 июля 2014 г.
- ^ «Всемирный интернет-магазин Wolfram» . Проверено 20 ноября 2008 г.
- ^ Перейти обратно: а б Кастренакес, Джейкоб (21 ноября 2013 г.). «Raspberry Pi теперь бесплатно включает в себя Mathematica и Wolfram Language» . Грань . Проверено 3 июля 2014 г.
- ^ Maxima, система компьютерной алгебры
- ^ «SageMath — система математического программного обеспечения с открытым исходным кодом» . Проверено 18 февраля 2022 г.
- ^ Zeng, M.; Smirnov, A.V.; Mokrov, K.S. (2023). "Упрощение рациональных функций для редукции с использованием соотношений интегрирования по частям и не только". Numerical Methods and Programming (Vychislitel'nye Metody I Programmirovanie) . 24 (4): 352–367. arXiv : 2304.13418 . doi : 10.26089/NumMet.v24r425 .
- ^ Белицкий А.В.; Смирнов, В.А. (2023). «Рядом с двойными ящиками с массовым снарядом». arXiv : 2312.00641 [ hep-th ].
- ^ Смирнов Александр В.; Цзэн, Мао (2023). «FIRE 6.5: интегральная редукция Фейнмана с новой библиотекой упрощения». arXiv : 2311.02370 [ геп-ф ].
- ^ «Архив объявлений Wolfram » Пионер компьютерной алгебры получил Нобелевскую премию» . Архив Вольфрама. 15 октября 1999 г. Проверено 19 января 2021 г.
- ^ Вольфрам, Стивен (апрель 1985 г.). «Символические математические вычисления» (PDF) . Коммуникации АКМ . 28 (4): 390–394. дои : 10.1145/3341.3347 . S2CID 15577857 .
- ^ «ЮлияСимволика» . Проверено 16 июня 2022 г.
- ^ «Хкас АРМ» . Проверено 12 октября 2010 г.
- ^ «Якаса ждут большие перемены» . Проверено 19 апреля 2011 г.
- ^ «Символические тензоры» . Документация по математике . Проверено 3 июля 2014 г.
- ^ «Что такое математика?» . Справочник разработчиков Mathics . Проверено 8 июля 2021 г.
- ^ «Примечания к выпуску SymPy для 0.7.4» . Гитхаб . Проверено 3 июля 2014 г.
- ^ Через SymPy Gamma