Vitalsource Technologies, Inc. Computer Algebra Methods For Equivariant Dynamical Systems