I wonder if there is any terminology (or name of classification) that refers to ab-initio QM methods based on the Schrodinger equation and basis functions, such as HF and post-HF methods, but not DFT methods. I saw some papers using the term 'wave function theory' or WFT to discriminate it from D...