Computer Algebra Methods for Equivariant Dynamical Systems by Karin Gatermann