Shadowing in Dynamical Systems - K.J. Palmer - Bog

However, they possess enough hyperbolicity to enable us to use shadowing ideas to give computer-assisted proofs that computed orbits of such systems can be shadowed by true orbits for long periods of time, that they possess periodic orbits of long periods and that it is really true that they are chaotic.