Как применяется символьный язык программирования для автоматизации вычислений?

Символьные языки программирования применяются для автоматизации аналитических преобразований математических выражений. 1

При таких операциях задания на вычисление составляются в виде символьных (формульных) выражений, а результаты вычислений также получаются в символьном виде. 4 Численные результаты при этом являются частными случаями символьных. 4

Некоторые области применения символьных языков программирования:

• Научные исследования и технические расчёты. 2 Системы символьных вычислений (системы компьютерной алгебры) позволяют решать широкий круг задач с различным уровнем вычислительной сложности, от простых преобразований выражений до решения систем уравнений. 2
• Образование. 4 Символьные системы компьютерной математики (СКМ) избавляют учащихся от массы рутинных вычислений и высвобождают время для обдумывания алгоритмов решения задач, более обоснованной постановки их решения, многовариантного подхода и представления результатов в наиболее наглядной форме. 4
• Искусственный интеллект. 3 Символьное программирование позволяет разработчикам создавать системы представления знаний и механизмы рассуждения, которые можно применять для обработки естественного языка, машинного обучения и автоматического доказательства теорем. 3

Некоторые языки программирования и среды, использующие парадигму символьного программирования: Prolog, Lisp и Haskell. 3