ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Countable map
Array
Matrix
Real collection matrix
Definition D999
Complex matrix
Children
D5191: Complex matrix kronecker product
D5844: Complex matrix vectorization
D5866: Left-invertible complex matrix
D5867: Right-invertible complex matrix
Results
R5296: Complex conjugate of a product of two complex column matrices