Как работает символьный метод решения уравнений в современных математических программах?

Символьный метод решения уравнений в современных математических программах, например Mathcad, работает следующим образом: razvitum.ru old.exponenta.ru

1. Пользователь печатает уравнение и убеждается, что для выведения знака равенства использована комбинация клавиш [Ctrl]=. old.exponenta.ru
2. Выделяет переменную, относительно которой нужно решить уравнение, щёлкнув на ней мышью. old.exponenta.ru
3. Выбирает команду «Решить относительно переменной» из меню «Символика». old.exponenta.ru
4. Mathcad решает уравнение относительно выделенной переменной и вставляет результат в рабочий документ. old.exponenta.ru

Для символьного решения системы уравнений необходимо выполнить следующие шаги: old.exponenta.ru

1. Напечатать слово Given, чтобы сообщить программе, что далее следует система уравнений. old.exponenta.ru
2. Напечатать уравнения в любом порядке ниже слова Given. old.exponenta.ru
3. Напечатать функцию Find, соответствующую системе уравнений. old.exponenta.ru Аргументами функции являются переменные, относительно которых система решается. old.exponenta.ru
4. Нажать клавишу CTRL, сопровождаемую точкой (клавиша CTRL, сопровождаемая точкой). old.exponenta.ru Mathcad отобразит символьный знак равенства. old.exponenta.ru
5. Щёлкнуть мышью на функции Find. old.exponenta.ru Mathcad отобразит решения для системы уравнений справа от стрелки. old.exponenta.ru

При символьном решении уравнений искомый корень выражается через другие переменные и константы. razvitum.ru