Reliable computation of invariant dynamics for conservative discrete dynamical systems

Computing reliable numerical approximations of invariant sets for nonlinear systems is the core problem for computer assisted study of dynamical systems. In the case of conservative systems the problem is complicated by the fact that there is no phase space dissipation to drive orbits onto attractors. In this dissertation we discuss several contributions to the field of computer assisted study of invariant dynamics in conservative systems.