Title: A Renormalization Group Fixed Point Associated with the Breakup of Golden Invariant Tori
Author: Hans Koch
Abstract:   We give a computer-assisted proof for the existence of a renormalization group fixed point (Hamiltonian) with non-trivial scaling, associated with the breakup of invariant tori with rotation number equal to the golden mean.
Paper: Sections 1-6, Section.7.tgz (formatted program source)