1
TITLE: Identification of proofs via syzygies
AUTHORS: António Malheiro ; Jose Francisco Reis ;
PUBLISHED: 2019, SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, ISSUE: 2140
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID