Every real symplectic matrix is a product of commutators of real symplectic involutions

From MaRDI portal
Publication:5865501