A numerical perspective on Hartree−Fock−Bogoliubov theory. (15th November 2013)