TOWARDS AUTOMATED CHAOS VERIFICATION
Sarah Day, Oliver Junge, Konstantin Mischaikow · 2005
We describe a set of algorithms (and corresponding codes) that serve as a basis for an automated proof of existence of a certain dynamical behaviour in a given dynamical system. In particular it is in principle possible to automatically verify the presence of complicated dynamics using these tools. The Hénon map is used to illustrate these techniques. 1.