A numerical perspective on Hartree−Fock−Bogoliubov theoryMathieu Lewin and Séverine PaulESAIM: M2AN, 48 1 (2014) 53-86DOI: https://doi.org/10.1051/m2an/2013094