Topological dynamics: rigorous numerics via cubical homology
The paper presents an overview of a method of computer assisted proofs in dynamics, developed mainly by the author and his collaborators. The method is based on the Conley index theory and makes use of computations of homology of some cubical sets and maps, frequently obtained by a numerical approximation of systems of ordinary differential equations. Examples of applications include proofs of the existence of complicated dynamics in the Lorenz equations and the Hénon map, time series analysis of experiments, and databases for multiparameter systems.NEWLINENEWLINEFor the entire collection see [Zbl 1245.55001].
scientific article; zbMATH DE number 6082691