Identification of proofs via syzygies

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
37 Downloads (Pure)


In 1900, Hilbert gave a lecture at the International Congress of Mathematicians in Paris, for which he prepared 23 problems that mathematicians should solve during the twentieth century. It was found that there was a note on a 24th problem focusing on the problem of simplicity of proofs. One of the lines of research that was generated from this problem was the identification of proofs. In this article, we present a possible method for exploring the identification of proofs based on the membership problem original from the theory of polynomial rings. To show this, we start by giving a complete worked-out example of a membership problem, that is the problem of checking if a given polynomial belongs to an ideal generated by finitely many polynomials. This problem can be solved by considering Gröbner bases and the corresponding reductions. Each reduction is a simplification of the polynomial and it corresponds to a rewriting step. In proving that a polynomial is a member of an ideal, a rewriting process is used, and many different such processes can be considered. To better illustrate this, we consider a graph where each rewriting step corresponds to an edge, and thus a path corresponds to a rewriting process. In this paper, we consider the identification of paths, within the context of the membership problem, to propose a criterion of identification of proofs.

Original languageEnglish
Article numberY
Number of pages11
JournalPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Issue number2140(SI)
Publication statusPublished - 11 Mar 2019


  • Hilbert’s 24th problem
  • Identification of proofs
  • Syzygies


Dive into the research topics of 'Identification of proofs via syzygies'. Together they form a unique fingerprint.

Cite this