ADG: Automated generation and evaluation of many-body diagrams I. Bogoliubov many-body perturbation theory. - Pierre Arthuis; Thomas Duguet; Alexander Tichai; Raphaël-David Lasseri; Jean-Paul Ebran (Comput. Phys. Commun., 2019)