Reliable computing experiment in the study of functional-differential equations: theory and applications

We review ideas and results of the modern computer-assisted technology of the study of boundary-value problems and control, stabilization, and variational problems. We present results obtained for certain applied problems, including problems in mathematical economics.