Доказательный вычислительный эксперимент в исследовании задачи Коши для дифференциального уравнения с отклоняющимся аргументом

Рассматривается приближённое решение задачи Коши для дифференциального уравнения с отклоняющимся аргументом. Если решение задачи существует, то вычислительный эксперимент позволяет доказать разрешимость и получить гарантированную оценку нормы погрешности приближённого решения.