Strictly diagonally dominant matrix (source code)

= Strictly diagonally dominant matrix

A matrix is strictly diagonally dominant when every diagonal-dominance inequality is strict. A real symmetric strictly diagonally dominant matrix with positive diagonal is <positive-definite matrix>[positive definite] by the <Gershgorin circle theorem>.