Termination of the F5 algorithm

DOI10.1134/S0361768814020042MaRDI QIDQ2017770zbMATH OpenFDO

Authors V. V. Galkin

Publication date 23 March 2015

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S0361768814020042

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)

Recommendations

• The termination of the F5 algorithm revisited
• Modifying Faugère's F5 algorithm to ensure termination
• The F5 algorithm in Buchberger's style
• Proof of the Faugère criterion for the F5 algorithm
• A new proof for the correctness of the F5 algorithm
• A tropical F5 algorithm
• Five Determinisation Algorithms
• Finite termination of the proximal point algorithm

Cites work

• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• A new incremental algorithm for computing Groebner bases
• Extended \(F_5\) criteria
• F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
• Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals
• Modifying Faugère's F5 algorithm to ensure termination
• Practical Gröbner basis computation
• Proof of the Faugère criterion for the F5 algorithm
• Term Rewriting and All That
• The F5 algorithm in Buchberger's style

Cited in

(9)

• Axioms for a theory of signature bases
• The termination of the F5 algorithm revisited
• A survey on signature-based algorithms for computing Gröbner bases
• Proof of the Faugère criterion for the F5 algorithm
• scientific article; zbMATH DE number 5831023 (Why is no real title available?)
• Computing syzygies by Faugère's \(\mathbb{F}_{5}\) algorithm
• Modifying Faugère's F5 algorithm to ensure termination
• A new proof for the correctness of the F5 algorithm
• The F5 criterion revised

Describes a project that uses

Uses Software

• F5C

This page was built for publication: Termination of the F5 algorithm

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