Georgia Institute of Technology College of Sciences

This talk will delve into a method specifically designed for
constructing high-order normal forms in Poincaré maps with high-order
precision and without any major assumption or structure of the
dynamical system itself. We will use the result to generate explicit
twist maps, calculating invariant tori, and determining the flying
time expansions around an elliptic fixed point of a Poincaré map. In
particular, this approach is able to check some non-degenerate
conditions in perturbation theory.