Henon映射和受迫阻尼摆同宿切触存在的计算机辅助证明
Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum
University of Bergen（卑尔根大学）；Jagiellonian University, Institute of Computer Science（雅盖隆大学计算机科学研究所）
AI总结：
提出一种拓扑方法，通过计算机辅助验证平面映射单参数族中同宿切触的通用存在性，并应用于Henon映射和受迫阻尼摆常微分方程。
摘要：
我们提出了一种拓扑方法，用于高效地通过计算机辅助验证同宿切触的存在性，该切触在平面映射的单参数族中通用地展开。该方法已应用于Henon映射和受迫阻尼摆常微分方程。
英文摘要：
We present a topological method for the efficient computer assisted verification of the existence of the homoclinic tangency which unfolds generically in a one-parameter family of planar maps. The method has been applied to the Henon map and the forced damped pendulum ODE.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
