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.
Subresults
▶ R5591: Real matrix gramians are positive semidefinite