Extended \(F_5\) criteria

DOI10.1016/j.jsc.2010.06.013zbMath1218.13014OpenAlexW1576188537MaRDI QIDQ607057

Gwénolé Ars, Amir Hashemi

Publication date: 19 November 2010

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.06.013

zbMATH Keywords

Gröbner bases\(F_5\) algorithm\(F_5\) criteria

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 (13)

A new framework for computing Gröbner bases ⋮ Computing comprehensive Gröbner systems: a comparison of two methods ⋮ A new proof for the correctness of the F5 algorithm ⋮ Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases ⋮ Axioms for a theory of signature bases ⋮ Applying IsRewritten criterion on Buchberger algorithm ⋮ Involutive bases algorithm incorporating F\(_5\) criterion ⋮ GVW algorithm over principal ideal domains ⋮ 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 ⋮ On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases ⋮ Termination of the F5 algorithm

Uses Software

• Magma

Cites Work

• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• The complexity of the word problems for commutative semigroups and polynomial ideals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extended \(F_5\) criteria