ThmDex – An index of mathematical definitions, results, and conjectures.
Complex matrix gramians are positive semidefinite
Formulation 0
Let $A \in \mathbb{C}^{N \times M}$ be a D999: Complex matrix.