Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum.

Daniel Wilczak Piotr Zgliczynski Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum. 1632-1663 2009 8 SIAM J. Applied Dynamical Systems 4 http://dx.doi.org/10.1137/090759975 db/journals/siamads/siamads8.html#WilczakZ09