The Rotation Group

The Rotation Group

Bibliographic Details
Main Author:	Pąk Karol
Format:	Article
Language:	English
Published:	Sciendo 2012-01-01
Series:	Formalized Mathematics
Online Access:	https://doi.org/10.2478/v10037-012-0004-2

Similar Items

The Radon transform on the rotation group
by: Hielscher, Ralf
Published: (2009)

The crystallography of the rotation subgroups of Coxeter groups
by: Broderick, Norma
Published: (2010)

Extremality of the Rotation Quasimorphism on the Modular Group
by: Louwsma, Joel Ryan
Published: (2011)

Almost periodic functions on the rotation group.
by: Henniger, James. P.
Published: (1962)

Can Rotational Grouping Be Determined by the Initial Conditions?
by: Allan C. Dobbins, et al.
Published: (2018-01-01)

Deformation Quantization and Representations of the Real Rotation Group
by: Job Nable
Published: (2001-06-01)

Low temperature rotation in small molecular groups
by: Newton, Tony Christopher
Published: (1990)

Group Technology Coding System for Rotational Parts
by: Jer-Jyi Shi, et al.
Published: (1993)

Group technology coding system for rotational parts
by: Xu, Zhe-Ji, et al.

Invariance of Poincare-Lyapunov polynomials under the group of rotations
by: Pierre Joyal
Published: (1998-10-01)

Molecular rotors with designed polar rotating groups possess mechanics-controllable wide-range rotational speed
by: Jian Shao, et al.
Published: (2020-12-01)

Basic Properties of Determinants of Square Matrices over a Field1
by: Pąk Karol
Published: (2007-01-01)

Affine Independence in Vector Spaces
by: Pąk Karol
Published: (2010-01-01)

Basic Properties of Metrizable Topological Spaces
by: Pąk Karol
Published: (2009-01-01)

Jordan Matrix Decomposition
by: Pąk Karol
Published: (2008-01-01)

Basic Properties of the Rank of Matrices over a Field
by: Pąk Karol
Published: (2007-01-01)

Small Inductive Dimension of Topological Spaces. Part II
by: Pąk Karol
Published: (2009-01-01)

Linear Map of Matrices
by: Pąk Karol
Published: (2008-01-01)

Abstract Simplicial Complexes
by: Pąk Karol
Published: (2010-01-01)

Eigenvalues of a Linear Transformation
by: Pąk Karol
Published: (2008-01-01)

Linear Transformations of Euclidean Topological Spaces
by: Pąk Karol
Published: (2011-01-01)

Linear Transformations of Euclidean Topological Spaces. Part II
by: Pąk Karol
Published: (2011-01-01)

Sperner's Lemma
by: Pąk Karol
Published: (2010-01-01)

Small Inductive Dimension of Topological Spaces
by: Pąk Karol
Published: (2009-01-01)

The Catalan Numbers. Part II1
by: Pąk Karol
Published: (2006-01-01)

Complete Spaces
by: Pąk Karol
Published: (2008-01-01)

The Geometric Interior in Real Linear Spaces
by: Pąk Karol
Published: (2010-01-01)

Brouwer Fixed Point Theorem for Simplexes
by: Pąk Karol
Published: (2011-01-01)

Brouwer Fixed Point Theorem in the General Case
by: Pąk Karol
Published: (2011-01-01)

The Friendship Theorem
by: Pąk Karol
Published: (2012-12-01)

Continuity of Barycentric Coordinates in Euclidean Topological Spaces
by: Pąk Karol
Published: (2011-01-01)

Block Diagonal Matrices
by: Pąk Karol
Published: (2008-01-01)

Solutions of Linear Equations
by: Pąk Karol
Published: (2008-01-01)

Formalization of the MRDP Theorem in the Mizar System
by: Pąk Karol
Published: (2019-07-01)

Diophantine Sets. Part II
by: Pąk Karol
Published: (2019-07-01)

Diophantine sets. Preliminaries
by: Pąk Karol
Published: (2018-04-01)

Bertrand’s Ballot Theorem
by: Pąk Karol
Published: (2014-06-01)

Tietze Extension Theorem for n-dimensional Spaces
by: Pąk Karol
Published: (2014-03-01)

Brouwer Invariance of Domain Theorem
by: Pąk Karol
Published: (2014-03-01)

Grothendieck Universes
by: Pąk Karol
Published: (2020-07-01)