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

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

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

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