Anosov systems on manifolds Dynamical systems on manifolds mathematics