Period Doubling Renormalization for Area-Preserving Maps and Mild Computer Assistance in Contraction Mapping Principle - Denis Gaidashev (International Journal of Bifurcation and Chaos, 2011)