Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum - Daniel Wilczak; Piotr Zgliczynski (SIAM Journal on Applied Dynamical Systems, 2009)