Journal Articles
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year : 2019
Lutz Straßburger : Connect in order to contact the contributor
https://inria.hal.science/hal-02475417
Submitted on : Wednesday, February 12, 2020-9:12:06 AM
Last modification on : Thursday, November 2, 2023-11:41:37 AM
Cite
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, 2019, 377 (2140), pp.20180038. ⟨10.1098/rsta.2018.0038⟩. ⟨hal-02475417⟩
Collections
27
View
0
Download