Recent development in rigorous computational methods in dynamical systems

Abstract

We highlight selected results of recent development in the area of rigorous computations which use interval arithmetic to analyse dynamical systems. We describe general ideas and selected details of di erent ways of approach and we provide speci c sample applications to illustrate the e ectiveness of these methods. The emphasis is put on a topological approach, which combined with rigorous calculations provides a broad range of new methods that yield mathematically reliable results.