This resource includes numerical derivation of De Rham Theory on quotient spaces, and symplectic reduction.