Процедурная интерпретация алгоритмов символьного интегрирования в системе MathPartner

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