Organising large proofs: techniques, tools, and future
By Georges Gonthier
Dynamics and equilibrium states of infinite systems of lattics bosons
By Andreas Deuchert
Focusing dynamics of 2D Bose gases in the instability regime
By Charlotte Dietze
Mathematical, historical and philosophical perspectives on the classification of finite simple groups, 1950s to 1980s
By Rebecca Waldecker , Volker Remmert