The Rotation Group

DOI10.2478/v10037-012-0004-2zbMath1276.51005OpenAlexW2045157819MaRDI QIDQ2865758

Karol Pąk

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-012-0004-2

Mathematics Subject Classification ID

Orthogonal and unitary groups in metric geometry (51F25)

Related Items (1)

Brouwer invariance of domain theorem

Cites Work

• Semantics of MML Query - Ordering
• Linear Transformations of Euclidean Topological Spaces
• A representation of entropy preserving isomorphisms between lattices of finite partitions

This page was built for publication: The Rotation Group