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

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