symplectic group over real numbers

GPTKB entity