Over the past decade, ab initio methods for finite nuclei have expanded their reach towards heavier nuclei and gained both in precision and complexity. With further progress and developments to be expected, the formal work is bound to take increasingly more time and errors to happen. This can hopefully be circumvented by developing safe and fast automated tools to generate the necessary expressions for the final numerical codes.

In this seminar, after introducing recent progress in ab initio methods [1,2], I will present the automated diagram generator ADG [3,4], focusing on its use for the recently-proposed Bogoliubov In-Medium Similarity Renormalization Group (BIMSRG) approach [5]. By generating automatically the diagrams and associated expressions at arbitrary orders in a given formalism in a safe way, such a tool can help fast-track the development of new formalisms or the implementation of older ones at higher precision, reducing the time to high-precision physical results.

[1] H. Hergert, Front. Phys. 8, 379 (2020), https://doi.org/10.3389/fphy.2020.00379

[2] P. Arthuis, C. Barbieri, M. Vorabbi and P. Finelli, Phys. Rev. Lett. 125 18, 182501 (2020), https://doi.org/10.1103/PhysRevLett.125.182501

[3] P. Arthuis, T. Duguet, A. Tichai, R.-D. Lasseri and J.-P. Ebran, Comput. Phys. Commun. 240, 202-227 (2019), https://doi.org/10.1016/j.cpc.2018.11.023

[4] P. Arthuis, A. Tichai, J. Ripoche and T. Duguet, Comput. Phys. Commun. 261, 107677 (2021), https://doi.org/10.1016/j.cpc.2020.107677

[5] A. Tichai, P. Arthuis, H. Hergert and T. Duguet, arXiv:2102.10889 [nucl-th] (2021), https://arxiv.org/abs/2102.10889