Extended \(F_5\) criteria
From MaRDI portal
Publication:607057
DOI10.1016/j.jsc.2010.06.013zbMath1218.13014OpenAlexW1576188537MaRDI QIDQ607057
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
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
Cites Work
This page was built for publication: Extended \(F_5\) criteria