Reliable Computing Experiment in the Study of Functional-Differential Equations: Theory and Applications

Resumo

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.