V. A. Shlykov
L. A. Bolychevtseva
The paper is devoted to the analysis of the organizational structure of an indirect numerical checking and to construction of its mathematical model.