A renormalization group fixed point associated with the breakup of golden invariant tori (Q1766145)

Renormalization group methods for Hamiltonian flows and related maps were introduced as a tool for explaining the breakup of golden invariant tori. Since then, these methods have been developed further and extended to other systems, but one of the main problems remained open, namely, the existence of a nontrivial renormalization group fixed-point. The present paper provides a computed-assisted proof, using the programming language ADA95, for the existence of such a fixed-point.