SCI Библиотека

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