Lutz Strassburger. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2019, 377 (2140), pp.20180038.
⟨10.1098/rsta.2018.0038⟩.
⟨hal-02475417⟩