matrixCondition

14 triples
GPTKB property

Random triples
Subject Object
gptkb:SO(N,_ℝ) det(A) = 1
gptkb:orthogonal_groups A^T A = I
gptkb:SO(n+1,_ℝ) det(A) = 1
gptkb:orthogonal_group_O(3) A^T A = I
gptkb:SL(2,_R) determinant equals 1
gptkb:SO(N,_ℝ) A^T A = I
gptkb:SO(n+1,_ℝ) A^T A = I
gptkb:SL(3,ℂ) determinant equals 1
gptkb:SO(n) A^T A = I, det(A) = 1
gptkb:U(N) U†U = I
gptkb:unitary_group_U(n) U*U† = I
gptkb:Special_Unitary_Group_of_degree_n U†U = I, det(U) = 1
gptkb:unitary_group_U(n) U† = U inverse
gptkb:unitary_group_U(n) U†U = I