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

Системы компьютерной алгебры различаются по возможностям, но обычно поддерживают следующие символьные действия:
- упрощение выражений до меньшего размера или приведение к стандартному виду, включая автоматическое упрощение с использованием предположений и ограничений
-подстановка символьных и численных значений в выражения
-изменение вида выражений: раскрытие произведений и степеней, частичная и полная факторизация (разложение на множители)
-разложение на простые дроби, удовлетворение ограничений, запись тригонометрических функций через экспоненты, преобразование логических выражений
-дифференцирование в частных и полных производных