On the constructive investigation of a class of linear boundary value problems for nth order differential equations with deviating arguments

摘要

A constructive technique for the study of boundary value problems for nth order differential equations with deviating arguments is described. A computer-assisted proof of the correct solvability of the considered problem is given. MSC: 34B05, 34K06, 65L10, 34K10, 65L70.