TY  - RPRT
TI  - Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum
AU  - Daniel Wilczak
AU  - Piotr Zgliczynski
PY  - 2009
DO  - 10.1137/090759975
UR  - https://arxiv.org/abs/0905.3924
ID  - 0905.3924
ER  -