В системе MathCAD реализованы алгоритмы поиска эффективных алгоритмов вывода символьных уравнений, то есть логико-интеллектуальный поиск символьных решений различных выражений в общем буквенном виде, будь то одиночное уравнение, либо система уравнений. В отличие от математических численных методов символьные методы позволяют решать сложные логические задачи.
С помощью специальных интеллектуальных алгоритмов, встроенных в движок MathCAD находят аналитические или полные решения уравнений и систем, вычисляют в производные и неопределенные интегралы, а также проводят преобразования сложных выражений (например, упрощение). Иначе говоря, при таком подходе можно получить результат в виде некоторой функции. В программе MathCAD при проведении символьных преобразований конкретные значения, присвоенные переменным, игнорируются - переменные рассматриваются как неопределенные параметры, что делает получаемые выводы применимыми к любым численным значениям, то есть общетеоретическими.
5GL
