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

Символьное решение уравнений в системах компьютерной алгебры используется для получения точного аналитического решения (если задача имеет такое решение, для которой известен алгоритм построения решения). elib.bsu.by

Для этого системы компьютерной алгебры снабжаются специальным процессором, основой которого является ядро, хранящее всю совокупность формул и формульных преобразований. math-it.petrsu.ru Чем больше этих формул в ядре, тем надёжнее работа символьного процессора и тем вероятнее, что поставленная задача будет решена, если такое решение существует в принципе. math-it.petrsu.ru

Например, в системе Mathematica для нахождения символьных решений уравнений используется функция Solve. intuit.ru Она позволяет находить решения полиномиальных уравнений вплоть до чётвёртого порядка, некоторых полиномиальных уравнений высших порядков, а также неполиномиальных уравнений. intuit.ru