Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
From MaRDI portal
Publication:2639107
DOI10.1007/BF03322623zbMath0718.13009MaRDI QIDQ2639107
Publication date: 1989
Published in: Results in Mathematics (Search for Journal in Brave)
13F20: Polynomial rings and ideals; rings of integer-valued polynomials
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
13B25: Polynomials over commutative rings
13D02: Syzygies, resolutions, complexes and commutative rings
14A05: Relevant commutative algebra
14Q99: Computational aspects in algebraic geometry
Related Items
Computing combinatorial decompositions of rings, Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry., Mechanical theorem proving in projective geometry