Верификация компьютерного кода ГРАТ методом Сизых

В. В. Марков^abc, Н. А. Харченко<sup>d

a</sup> Математический институт им. В. А. Стеклова РАН
^b Научно-исследовательский институт механики МГУ им. М. В. Ломоносова
^c Научно-исследовательский институт системных исследований РАН
^d Московский авиационный институт (МАИ)

Поступила в редакцию: 04.03.2024