Resonances and Formal Stability Investigation in Hamiltonian Systems. - Alexander Batkhin; Zafar Khaydarov (Math. Comput. Sci., 2024)