В программировании математические выражения преобразуются с помощью правил замены одних объектов другими согласно некоторому шаблону. 1 Например, в языке программирования Mathematica количество правил преобразования можно расширить за счёт создания собственных пользовательских правил. 1 При помощи правил можно как изменять вид выражений, так и фильтровать данные по заданным условиям. 1
В компьютерной науке преобразование математических выражений происходит в рамках техники символьных вычислений. 2 Она состоит в последовательном преобразовании (переписывании) входного выражения до тех пор, пока не будет получен результат. 2 Например, в системе Mathematica все выражения в диалоге с пользователем и при символьных вычислениях преобразуются в контексте автоматического упрощения. 3 Это означает, что при вводе все операнды математических операторов автоматически упрощаются перед тем, как операторы применяются, а результат вычисления выражения представлен в автоматически упрощённом виде. 3
Также для упрощения выражений в Mathematica используется функция Simplify. 5 Она исполняет последовательность алгебраических преобразований над выражением и возвращает простейшую из найденных форм. 5