Numeric deduction in symbolic computation. Application to normalizing transformations (Q1360966)

Algorithms for numeric (in exact arithmetic) derivation of analytical expressions are developed and implemented in a computer algebra code. This code is built as an extension of a computer algebra package by Shevchenko and Sokolsky for normalization of Hamiltonian systems of ordinary differential equations. As an example, a resonant normal form of a Hamiltonian describing the hyperboloidal precession of a dynamically symmetric satellite is derived by means of the proposed technique.