José Francisco Reis

A refinement of some previous results of Bernardara-Marcolli-Tabuada and Ornaghi-Pertusi

José Francisco Reis, 2022, 2206.08893.

Identification of proofs via syzygies

António Malheiro, José Francisco Reis, 2019, Philosophical Transactions of the Royal Society A.