Доказательный вычислительный эксперимент в исследовании функционально-дифференциальных уравнений: теория и приложения

Обзор идей и результатов, лежащих в основе современной компьютерной (computer-assisted) технологии исследования краевых задач, задач управления и стабилизации, вариационных задач. Представлены результаты исследования некоторых прикладных задач, в том числе, задач, возникающих в математической экономике.