Компьютерная алгебра
Системы компьютерной алгебры (СКА, англ. computer algebra system, CAS) ориентированы на символьные вычисления — выполнение преобразований и работу с математическими выражениями в аналитической (символьной) форме. Некоторые задачи, которые решают с помощью СКА:
упрощение выражений до меньшего размера или приведение к стандартному виду;
подстановка символьных и численных значений в выражения;
изменение вида выражений: раскрытие произведений и степеней, частичная и полная факторизация (разложение на множители);
дифференцирование в частных и полных производных;
нахождение неопределённых и определённых интегралов (символьное интегрирование);
символьное решение задач оптимизации: нахождение глобальных экстремумов, условных экстремумов и т. д..
В дополнение к символьным операциям большинство СКА поддерживают численые операции: расчёт значений выражений при определённых значениях переменных, построение графиков на плоскости и в пространстве.