1
TÍTULO: Identification of proofs via syzygies
AUTORES: António Malheiro ; Jose Francisco Reis ;
PUBLICAÇÃO: 2019, FONTE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, NÚMERO: 2140
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID