Sylvester's criterion

Today it means: A necessary and sufficient criterion to determine whether a Hermitian matrix is positive-definite: specifically, when all of the leading principal minors have a positive determinant. Full definition →