The Rotation Group
Work
Year: 2012
Type: article
Abstract: The Rotation GroupWe introduce length-preserving linear transformations of Euclidean topological spaces. We also introduce rotation which preserves orientation (proper rotation) and reverses orientati... more
Source: Formalized Mathematics
Author Karol Pąk
Cites: 29
Cited by: 2
Related to: 10
FWCI: 0.277
Citation percentile (by year/subfield): 40.29
Topic: Mathematics and Applications
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: gold