Алгоритмизация исследования линейных уравнений саналитическимифункциями

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