Rigorous lower bounds for the domains of definition of extended generating functions

B. Erdelyi, J. Hoefkens, M. Berz

The recently developed theory of extended generating functions of symplectic maps are combined with methods to prove invertibility via high-order Taylor model methods to obtain rig…