arXiv:0905.3924 [math.DS]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords computer assisted proof, homoclinic tangency, henon map, forced-damped pendulum, efficient computer assisted verification Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset