Hermitian positive-definite matrix (source code)

= Hermitian positive-definite matrix

A complex matrix $A$ is Hermitian positive definite when $A^*=A$ and $z^*Az>0$ for every nonzero complex vector $z$.