Algebraic and symbolic computation methods in dynamical systems.