Компьютерные программы для символьных вычислений (системы компьютерной алгебры, СКА) позволяют выполнять преобразования и работать с математическими выражениями в аналитической (символьной) форме. 14

Работа таких программ основана на принципе конструирования модели. 3 Пользователь ставит задачу, а методы и алгоритмы решения система находит сама. 3 Некоторые рутинные операции, например раскрывание скобок, преобразование выражений, нахождение корней уравнений, компьютер осуществляет в символьном виде практически без вмешательства пользователя. 3

Основой работы СКА служит специальный процессор, в котором хранится вся совокупность формул и формульных преобразований. 5 Чем больше этих формул в ядре, тем надёжнее работа символьного процессора и тем вероятнее, что поставленная задача будет решена. 5

Чтобы символьные операции выполнялись, процессору необходимо указать, над каким выражением эти операции должны производиться, то есть нужно выделить выражение. 5 Для ряда операций следует не только указать выражение, к которому они относятся, но и наметить переменную, относительно которой выполняется та или иная символьная операция. 5