Malheiro, António; Reis, José Francisco Identification of proofs via syzygies. (English) Zbl 1436.03290 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180275, 11 p. (2019). MSC: 03F03 13D02 13F55 13P10 PDF BibTeX XML Cite \textit{A. Malheiro} and \textit{J. F. Reis}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180275, 11 p. (2019; Zbl 1436.03290) Full Text: DOI
Hipolito, Inês; Kahle, Reinhard Discussing Hilbert’s 24th problem. (English) Zbl 1441.03006 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180040, 10 p. (2019). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-03 01A60 03F03 PDF BibTeX XML Cite \textit{I. Hipolito} and \textit{R. Kahle}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180040, 10 p. (2019; Zbl 1441.03006) Full Text: DOI
Straßburger, Lutz The problem of proof identity, and why computer scientists should care about Hilbert’s 24th problem. (English) Zbl 1436.03293 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180038, 14 p. (2019). MSC: 03F03 68Q60 PDF BibTeX XML Cite \textit{L. Straßburger}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180038, 14 p. (2019; Zbl 1436.03293) Full Text: DOI
Negri, Sara; von Plato, Jan From mathematical axioms to mathematical rules of proof: recent developments in proof analysis. (English) Zbl 1436.03291 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180037, 10 p. (2019). MSC: 03F03 03A05 PDF BibTeX XML Cite \textit{S. Negri} and \textit{J. von Plato}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180037, 10 p. (2019; Zbl 1436.03291) Full Text: DOI
Pambuccian, Victor Prolegomena to any theory of proof simplicity. (English) Zbl 1441.03007 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180035, 15 p. (2019). Reviewer: Teun Koetsier (Amsterdam) MSC: 03A05 03B30 01A05 03F20 PDF BibTeX XML Cite \textit{V. Pambuccian}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180035, 15 p. (2019; Zbl 1441.03007) Full Text: DOI
Kahle, Reinhard; Pulcini, Gabriele Towards an operational view of purity. (English) Zbl 1418.03018 Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 125-138 (2018). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{R. Kahle} and \textit{G. Pulcini}, in: The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19--23, 2017. London: College Publications. 125--138 (2018; Zbl 1418.03018)
Hughes, Dominic J. D. Towards Hilbert’s 24th problem: combinatorial proof invariants (preliminary version). (English) Zbl 1262.03120 Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 37-63 (2006). MSC: 03F07 03F05 PDF BibTeX XML Cite \textit{D. J. D. Hughes}, Electron. Notes Theor. Comput. Sci. 165, 37--63 (2006; Zbl 1262.03120) Full Text: DOI