Алгоритмы символьного интегрирования в системе MathPartner

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