OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER (Q3499154)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER |
scientific article |
Statements
OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER (English)
0 references
28 May 2008
0 references
Brouwer fixed point theorem
0 references
Smale horseshoe
0 references
chaos
0 references
Hénon-mapping
0 references
computer-aided proof
0 references
verified global optimization
0 references
0 references
0 references
