Некоторые методы упрощения математических выражений в системах автоматического проектирования (САПР):

• Редукция. 2 Исходная модель последовательно редуцируется к упрощённым моделям меньшей сложности. 2 Эта процедура предполагает исключение не влияющих на результат исследований и расчётов составляющих модели. 2
• Декомпозиция. 2 Исходная модель разбивается на ряд частных моделей. 2
• Линеаризация. 2 Во многих случаях линейная модель хорошо отражает физику работы исследуемой системы и позволяет применить мощный аппарат исследования линейных систем. 2
• Машинно-аналитический метод. 2 Сводит дифференциальные уравнения к системам конечных, в частности алгебраических, уравнений. 2
• Символьные вычисления. 4 Формула представляется в виде дерева, и для её упрощения используются ключевые процедуры, например определение эквивалентности веток, приведение констант, вынесение общего множителя за скобку, раскрытие скобок. 4