Algorithms for Computing Hamiltonian Normal Form - Petrov, A. G.; Batkhin, A. B. (Solar System Research, 2025)