guaranteed bounds for ground-state energy (eigenvalues) and ground-state density matrix (eigenvectors) in first-principle molecular simulation
application to Laplace, Gross–Pitaevskii, Kohn–Sham, and Schrödinger models