Slater determinant
スレイター行列式は、行列式の性質から、