Computer assisted lower bounds for atomic energies | Luis Seco Computer assisted lower bounds for atomic energies | Luis Seco