Kvitko, A.N. and Litvinov, N.N. 2024. Solution of the local boundary problem for nonlinear stationary system with account of the computer systems verification. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy. 11, 2 (Aug. 2024), 303–315. DOI:https://doi.org/10.21638/spbu01.2024.204.