José Francisco Reis


AuthID: R-00J-436

Confirmed Publications: 1



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

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service