Proof theory in general (including proof-theoretic semantics) (03F03) Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Recommendations
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- Hilbert's twenty-fourth problem
- scientific article; zbMATH DE number 2024619
- Prolegomena to any theory of proof simplicity
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
Cites work
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Gröbner-Shirshov bases and their calculation
- Hilbert's Twenty-Fourth Problem
- scientific article; zbMATH DE number 50648 (Why is no real title available?)
- scientific article; zbMATH DE number 578417 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 5037244 (Why is no real title available?)
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
This page was built for publication: Identification of proofs via syzygies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204810)
