Bayer, JonasJonasBayerBenzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Buzzard, KevinKevinBuzzardDavid, MarcoMarcoDavidLamport, LeslieLeslieLamportMatiyasevich, YuriYuriMatiyasevichPaulson, LawrenceLawrencePaulsonSchleicher, DierkDierkSchleicherStock, BenediktBenediktStockZelmanov, EfimEfimZelmanov2023-12-202023-12-2020240002-99201088-9477https://fis.uni-bamberg.de/handle/uniba/92522engMathematical Proof Between Generationsarticle10.1090/noti2860