Real-analytic and Nash manifolds (MSC2000) Dynamical systems on manifolds mathematics