Фрикадельки
-
Обзор FriCAS
- FriCAS — универсальная система компьютерной алгебры для математических исследований и разработки алгоритмов.
- Включает интерпретатор, компилятор и расширяемую библиотеку.
- Поддерживает более 1000 доменов и категорий.
-
Особенности и языки программирования
- Предоставляет строго типизированный язык программирования SPAD и интерактивный язык с выводом типов.
- Компилятор Aldor разработан для Axiom CAS и его производных.
- Оба языка имеют схожий синтаксис и систему типов.
-
Документация и поддержка
- FriCAS полностью документирован и доступен в исходном коде и бинарном дистрибутиве для различных платформ.
- Компиляция требует наличия среды Common Lisp.
- Работает на многих POSIX-системах, включая Linux, macOS, Unix и Windows.
-
История разработки
- IBM создала две системы компьютерной алгебры Scratchpad, первая из которых была запущена в 1965 году.
- Вторая Scratchpad, Axiom, была переименована в FriCAS в 2007 году после разногласий по поводу целей проекта.
-
Примеры использования
- FriCAS реализовал алгоритм Риша-Бронштейна-Трагера и поддерживает потоковую передачу математических выражений.
-
Дополнительные ресурсы
- Ссылки на портал бесплатного программного обеспечения с открытым исходным кодом, список систем компьютерной алгебры и другие ресурсы.
Полный текст статьи: