The constructive investigation of boundary-value problems with approximate satisfaction of boundary conditions

Linear boundary value problems for functional differential equations are considered when the number of boundary conditions is greater than the dimension of the system in the case of approximate fulfilment of boundary conditions. The approach is based on theorems whose conditions allow one to check up them by special reliable computing procedures.