Signature rewriting in gröbner basis computation

DOI10.1145/2465506.2465522zbMath1360.68929OpenAlexW1974339543MaRDI QIDQ2963254

Christian Eder, Bjarke Hammersholt Roune

Publication date: 10 February 2017

Published in: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00930273/file/sbff.pdf

zbMATH Keywords

Gröbner basisF5signature Gröbner basissignature rewritingSyzygy Gröbner basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Related Items

A new framework for computing Gröbner bases ⋮ A signature-based algorithm for computing the nondegenerate locus of a polynomial system ⋮ Development of hybrid approach for solving MQ problem: Intermediate hybrid approach ⋮ Axioms for a theory of signature bases ⋮ An analysis of inhomogeneous signature-based Gröbner basis computations ⋮ A survey on signature-based algorithms for computing Gröbner bases ⋮ Speeding up the GVW algorithm via a substituting method ⋮ An improvement over the GVW algorithm for inhomogeneous polynomial systems ⋮ A generic and executable formalization of signature-based Gröbner basis algorithms ⋮ A signature-based algorithm for computing Gröbner bases over principal ideal domains

This page was built for publication: Signature rewriting in gröbner basis computation