A numerical perspective on Hartree−Fock−Bogoliubov theory Mathieu Lewin and Séverine Paul ESAIM: M2AN, 48 1 (2014) 53-86 Published online: 15 November 2013 DOI: 10.1051/m2an/2013094