Rigorous chaos verification in discrete dynamical systems
scientific article; zbMATH DE number 490701
scientific article