Computer Algebra Methods for Equivariant Dynamical Systems door Karin Gatermann