Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum (Q5850850)
From MaRDI portal
scientific article; zbMATH DE number 5660518
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum |
scientific article; zbMATH DE number 5660518 |
Statements
Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum (English)
0 references
20 January 2010
0 references
homoclinic tangency
0 references
covering relation
0 references
cone condition
0 references
transversal intersection
0 references
computer assisted proof
0 references
