Applying IsRewritten criterion on Buchberger algorithm

DOI10.1016/J.TCS.2011.04.040MaRDI QIDQ638523zbMATH OpenOpenAlexFDO

Authors Amir Hashemi, Benyamin M.-Alizadeh

Publication date 12 September 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.04.040

zbMATH Keywords

Buchberger's algorithmIsRewritten criterionGröbner bases

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) Software, source code, etc. for problems pertaining to computer science (68-04)

Recommendations

• The F5 criterion revised
• Involutive bases algorithm incorporating F\(_5\) criterion
• A new proof for the correctness of the F5 algorithm
• The \(F5\) criterion revised
• On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases

Cites work

• scientific article; zbMATH DE number 3649988 (Why is no real title available?)
• scientific article; zbMATH DE number 3857249 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 1263375 (Why is no real title available?)
• scientific article; zbMATH DE number 1273640 (Why is no real title available?)
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• scientific article; zbMATH DE number 217454 (Why is no real title available?)
• A new efficient algorithm for computing Gröbner bases (F₄)
• A new incremental algorithm for computing Groebner bases
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Extended \(F_5\) criteria
• F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
• On an installation of Buchberger's algorithm

Cited in

(7)

• Signature Gröbner bases in free algebras over rings
• Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases
• Applying Buchberger's criteria on Montes's DisPGB algorithm
• Proof of the Faugère criterion for the F5 algorithm
• Computing comprehensive Gröbner systems: a comparison of two methods
• Isrewritten.mpl
• On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases

Describes a project that uses

Uses Software

• F5C
• Maple

This page was built for publication: Applying IsRewritten criterion on Buchberger algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q638523)