Malheiro, António, and José Francisco Reis. "Identification of proofs via syzygies." Philosophical Transactions of the Royal Society A. 377.2140 (2019).