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

Возможно, имелись в виду системы компьютерной алгебры (СКА) — прикладные программы для символьных вычислений, то есть выполнения преобразований и работы с математическими выражениями в аналитической (символьной) форме. math-it.petrsu.ru

Процесс работы таких систем: math-it.petrsu.ru

1. Пользователь задаёт математические объекты (алгебраические выражения, ряды, уравнения, векторы, матрицы и другие) и указания, что с ними делать, на входном языке системы в виде символьных выражений. math-it.petrsu.ru elib.bsu.by
2. Интерпретатор анализирует и переводит символьные выражения во внутреннее представление. math-it.petrsu.ru elib.bsu.by
3. Символьный процессор системы выполняет требуемые преобразования или вычисления и выдаёт ответ в математической нотации. math-it.petrsu.ru elib.bsu.by

В современных математических пакетах часто применяется принцип конструирования модели: пользователь лишь ставит задачу, а методы и алгоритмы решения система находит сама. compress.ru

Некоторые программы, которые используют символьные вычисления: Derive, Mathematica, Maple, Maxima, Axiom, Reduce, MuPAD, MathCAD и другие. math-it.petrsu.ru