В современных системах автоматизации расчётов для упрощения математических выражений используются, например, такие методы:

• Раскрытие скобок. 1 Компьютер самостоятельно выполняет эту рутинную операцию в символьном виде практически без вмешательства пользователя. 1
• Преобразование выражений. 1 Включает в себя сокращение общих множителей, приведение подобных членов, применение тригонометрических тождеств, упрощение выражений с радикалами и другими функциями. 2
• Работа с дробями и корнями. 1 Программа не приводит их к десятичному виду, а производит необходимые сокращения и преобразования в столбик, что позволяет избежать ошибок при округлении. 1
• Редукция. 3 Предполагает исключение составляющих математической модели, которые не влияют на результат исследований и расчётов. 3
• Декомпозиция. 3 Предполагает разбиение исходной математической модели на ряд частных моделей. 3

Некоторые программы, которые используют эти методы для упрощения выражений: Mathematica, Maple, MatLab, MathCAD. 14