Hartree-Fock theory