Как символьные вычисления используются в современных системах автоматизированного проектирования?

Символьные вычисления используются в современных системах автоматизированного проектирования (САПР) для аналитического моделирования, что позволяет устанавливать влияние параметров схемы на её эксплуатационные характеристики. 1

Некоторые примеры использования:

• Моделирование электронных устройств. 1 Нахождение соотношений в аналитическом виде помогает решать задачу синтеза принципиальных и функциональных схем электронных устройств с заданными свойствами. 1
• Моделирование сложных динамических систем. 2 Символьные вычисления применяются как на этапе построения системы, так и для её преобразования и подготовки к численному решению. 2

Для символьных вычислений используются системы компьютерной алгебры, которые позволяют работать с математическими выражениями в аналитической (символьной) форме. 3 Некоторые из них: Maple, MathCad, Mathematica и MatLab. 5