Computer Algebra Methods for Equivariant Dynamical Systems