Leading principal minor (source code)

= Leading principal minor
{title2=$\Delta_k=\det A_{1:k,1:k}$}

A <leading principal minor> is a <principal minor> using the first $k$ rows and columns of a square <matrix> in a specified ordering. <Sylvester's criterion> uses these minors to characterize <positive-definite matrices>.