ПтCAS

ПтCAS
Разработчик	Вальдек Хебиш + независимая группа людей
Стабильная версия	1.3.10 / 9 января 2024 г .; 5 месяцев назад
Язык реализации	SPAD, Aldor , Boot, Common Lisp
ТЫ	Кросс-платформенный
Лицензия	Модифицированная лицензия BSD
Расширения имен файлов	.spad, .input, .as
Веб-сайт	фрикас .github .что

FriCAS общего назначения — это система компьютерной алгебры , ориентированная на математические исследования и разработку новых алгоритмов . Он включает в себя интерпретатор , компилятор и постоянно растущую библиотеку. ^[1] из более чем 1000 доменов и категорий.

FriCAS предоставляет строго типизированный язык программирования высокого уровня под названием SPAD и аналогичный интерактивный язык. который использует вывод типов для удобства. Алдор был намеренно разработан как Компилятор следующего поколения для Axiom CAS и его ответвлений . FriCAS (опционально) позволяет запускать программы Aldor. Оба языка имеют схожий синтаксис и сложную ( зависимую ) систему типов . ^[2]^[3]^[4]

FriCAS полностью документирован и доступен в виде исходного кода и двоичного дистрибутива для наиболее распространенных платформы. Компиляция исходников требует, помимо других предварительных условий, среды Common Lisp (при этом многие из основных реализаций поддерживаются и свободно доступны как с открытым исходным кодом ).

FriCAS работает на многих платформах POSIX, таких как Linux , macOS , Unix , BSD, а также под Cygwin и Microsoft Windows ( WSL ).

История [ править ]

Две системы компьютерной алгебры под названием Scratchpad были разработаны IBM . Первый из них был основан в 1965 году Джеймсом Грисмером. ^[5] по просьбе Ральфа Гомори и написан на Фортране . ^[6] Разработка этого программного обеспечения была остановлена до его публичного выпуска. Второй блокнот, первоначально называвшийся Scratchpad II , разрабатывался с 1977 года в Исследовательском центре Томаса Дж. Уотсона под руководством Ричарда Димика Дженкса. ^[7]

Разработка в основном принадлежит Ричарду Д. Дженксу (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) ^[8]

Scratchpad II был переименован в Axiom , когда примерно в 1990 году IBM решила сделать его коммерческим продуктом. Через несколько лет он был продан NAG . В 2001 году он был снят с продажи и перевыпущен Тиму Дейли под модифицированной лицензией BSD . В 2007 году создал форк Axiom под названием FriCAS при поддержке Тима Дейли. Вальдек Хебиш ^[9] разрешать разногласия по поводу целей проекта. ^[10]

Примеры [ править ]

FriCAS имеет практически полную реализацию Алгоритм Риша–Бронштейна–Трэгера . ^[11]

Еще одна полезная функция — поток :

)set stream calculate 5
exp_series := series(exp x, x=0)

$\ \ \ \ 1+x+{{\frac {1}{2}}\ {{x}^{2}}}+{{\frac {1}{6}}\ {{x}^{3}}}+{{\frac {1}{24}}\ {{x}^{4}}}+{{\frac {1}{120}}\ {{x}^{5}}}+{O\left({{x}^{6}}\right)}$

Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)

Таким образом, любой коэффициент может быть получен, например $n=40$ :

coefficient(exp_series,40)

$\ \ \ \ {\frac {1}{815915283247897734345611269596115894272000000000}}$

Type: Expression(Integer)

См. также [ править ]

Список систем компьютерной алгебры

Ссылки [ править ]

^ API FriCAS
^ Полл, Эрик; Томпсон, Саймон (май 1998 г.). «Добавление аксиом к аксиоме: на пути к системе автоматизированных рассуждений в Алдоре» (Монография) . Проверено 27 января 2017 г.
^ Полл, Эрик; Томпсон, Саймон. «Типовая система Алдора» (Монография) . Проверено 27 января 2017 г.
^ Полл, Эрик; Томпсон, Саймон. «Интеграция компьютерной алгебры и рассуждений через систему типов Алдора» . У Элен Киршнер; Кристоф Рингайссен (ред.). Границы объединения систем . 3-й международный семинар по возможностям объединения систем (FroCoS 2000). Том. 1794. Нанси, Франция: Springer-Verlag Berlin. стр. 136–150. ISBN 978-3-540-67281-4 . Проверено 27 января 2017 г.
^ Фитч, Джон (23 июля 2012 г.). «Джеймс Грисмер 1929–2011» . ACM-коммуникации в компьютерной алгебре . 46 (1/2): 10–11. дои : 10.1145/2338496.2338499 . S2CID 36788754 .
^ «Система компьютерной алгебры Аксиома» . axiom-developer.org .
^ «Биографические сведения о Ричарде Д. Дженксе» . www.eecis.udel.edu .
^ «ЕВРОКАЛ '85 | СпрингерЛинк» . www.springer.com .
^ "[Axiom-разработчик] Скромное предложение" . lists.nongnu.org .
^ «История — FriCAS» . fricas.github.io .
^ «MathAction RischImplementationStatus» . wiki.fricas.org . Проверено 3 октября 2021 г.

Внешние ссылки [ править ]

Связанный:

[1] API FriCAS

[2] Полл, Эрик; Томпсон, Саймон (май 1998 г.). «Добавление аксиом к аксиоме: на пути к системе автоматизированных рассуждений в Алдоре» (Монография) . Проверено 27 января 2017 г.

[3] Полл, Эрик; Томпсон, Саймон. «Типовая система Алдора» (Монография) . Проверено 27 января 2017 г.

[4] Полл, Эрик; Томпсон, Саймон. «Интеграция компьютерной алгебры и рассуждений через систему типов Алдора» . У Элен Киршнер; Кристоф Рингайссен (ред.). Границы объединения систем . 3-й международный семинар по возможностям объединения систем (FroCoS 2000). Том. 1794. Нанси, Франция: Springer-Verlag Berlin. стр. 136–150. ISBN 978-3-540-67281-4 . Проверено 27 января 2017 г.

[5] Фитч, Джон (23 июля 2012 г.). «Джеймс Грисмер 1929–2011» . ACM-коммуникации в компьютерной алгебре . 46 (1/2): 10–11. дои : 10.1145/2338496.2338499 . S2CID 36788754 .

[6] «Система компьютерной алгебры Аксиома» . axiom-developer.org .

[7] «Биографические сведения о Ричарде Д. Дженксе» . www.eecis.udel.edu .

[8] «ЕВРОКАЛ '85 | СпрингерЛинк» . www.springer.com .

[9] "[Axiom-разработчик] Скромное предложение" . lists.nongnu.org .

[10] «История — FriCAS» . fricas.github.io .

[11] «MathAction RischImplementationStatus» . wiki.fricas.org . Проверено 3 октября 2021 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

v т и Системы компьютерной алгебры
с открытым исходным кодом	Аксиома Кадабра Какао Ферма ПтCAS ФОРМА ЗАЗОР ГиНаК Маколей2 Максима Нормализовать СТАВКА/ГП Уменьшать SageMath Единственное число СимПи Xcas/Giac Джекфруты
Собственный	КлассПад Менеджер КАНТ Магма Клен Маткад Математика muPAD ( панель инструментов символьной математики MATLAB ) SMath Студия ТИ ИнтерАктив! Решатель инженерных уравнений
Снято с производства	ДЖАМАЛ Вывести Клен Живая Математика Максима Математический по математике АЛЬТРАН
Категория Список