Skip to main navigation
Skip to search
Skip to main content
Help & FAQ
Home
Profiles
Research Units
Research output
Prizes
Activities
Press / Media
Search by expertise, name or affiliation
Identification of proofs via syzygies
António Malheiro
,
José Francisco Reis
CMA - Centro de Matemática e Aplicações
DM - Departamento de Matemática
Research output
:
Contribution to journal
›
Article
1
Citation (Scopus)
7
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Identification of proofs via syzygies'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Syzygies
Rewriting
Polynomial
Path
Polynomial ring
Simplification
Simplicity
Hilbert
Line
Context
Physics & Astronomy
polynomials
lectures
simplification
rings
Engineering & Materials Science
Polynomials