Система компьютерной алгебры
Система компьютерной алгебры общего назначения. Полезна в компьютерных расчетах, исследованиях и разработке математических алгоритмов. Определяет математически корректную иерархию со строгой типизацией, включает язык программирования и встроенный компилятор.
Также включает Rosetta Stone — любопытное средство перевода основных операций на языки различных CAS, в том числе Maxima.
Система для вычислительной дискретной алгебры с акцентом на вычислительную теорию групп.
Символьный калькулятор для мобильных телефонов и карманных ПК. Решает и преобразует уравнения, работает с основными задачами исчисления, предоставляет некоторые типичные функции CAS. Синтаксис немного напоминает GNU-Maxima.
Система компьютерной алгебры для полиномиальных расчетов акцентом на нужды коммутативной алгебры, алгебраической геометрии и теории особенностей.
Простая в использовании программа для символьной работы с математическими выражениями. Использует свой язык программирования, разработанный как для символьной математики, так и для численных расчетов с произвольной точностью.
Интерактивный интерпретатор для арифметики с большими целыми числами и числами с плавающей точкой произвольной точности с синтаксисом, подобным Pascal и Modula. Включает функции из теории чисел: GCD, символ Якоби, вероятностный тест Рабина на простоты, алгоритмы факторизации (ρ-алгоритм Полларда, эллиптические кривые, цепные дроби, квадратичное решето) и т. д.
Базовый пакет для научных расчетов на Python. Включает N-мерные массивы, сложные функции, инструменты для связи кода на C / C++ и Fortran; инструменты для работы с линейной алгеброй, преобразованием Фурье, случайными числами.
Язык высокого уровня, главным образом ориентированный на численные расчеты. Включает интерфейс командной строки для численного решения линейных и нелинейных задач и проведения других численных экспериментов. Язык по большей части совместим с Matlab.
Широко используемая CAS, разработанная для быстрых расчетов в теории чисел (факторизация, алгебраическая теория чисел, эллиптические кривые и т. д.), но также содержащая множество других полезных функций для работы с математическими объектами вроде многочленов, степенных рядов, алгебраических чисел и реализацию множества трансцендентных функций.
Среда для статистических расчетов и работы с графикой. Собирается и работает на множестве UNIX-платформ, Windows и MacOS.
List of computer algebra systems (Wikipedia)
Много ссылок на станицы отдельных CAS.