The F5 criterion revised

DOI10.1145/1504347.1504372zbMath1344.13017OpenAlexW2963515046MaRDI QIDQ5176448

Alberto Arri

Publication date: 26 February 2015

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1504347.1504372

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

Signature Gröbner bases in free algebras over rings ⋮ Computing syzygies by Faugère's \(\mathbb{F}_{5}\) algorithm

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: The F5 criterion revised