Theoretical and computational aspects of dynamical systems