“…Достовер ность и обоснованность результатов исследования обеспечивается фор мальными доказательствами, а также компьютерными экспериментами. Основные результаты работы докладывались на следующих научных кон ференциях и семинарах: международные научно-практические конферен ции PSI-2017 [5], PSI-2019 [7,31], TOOLS-2019 [11], SIBIRCON-2019 [10], TMPA-2015 [23,38], международные научно-исследовательские семинары PSSV-2017 [36], PSSV-2018 [30], PSSV-2019 [32], PSSV-2021 [1], всероссий ские конференции молодых ученых по математическому моделированию в 2015-2021 гг. [17, 18, 20-22, 24, 26], всероссийский онлайн-семинар ru STEP (записи доступны на видеоканале ИСИ СО РАН), научно-исследо вательские семинары ИСИ СО РАН, коллоквиумы ИСИ СО РАН.…”