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

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

Например, в системе Mathematica для упрощения выражений используется функция Simplify. 2 Она исполняет последовательность алгебраических преобразований над выражением и возвращает простейшую из найденных форм (обычно это бывает нормальная форма выражения). 2