Abstract:
The problem of shadowing numerically generated trajectories is discussed.
The shadowing theorem and the algorithm for verifying its assumptions are
presented. This algorithm is used to prove the existence of a shadow for
chaotic trajectory of Henon map.
