A generalized criterion for signature related Gröbner basis algorithms

DOI10.1145/1993886.1993936zbMath1323.68630arXiv1101.3382OpenAlexW2054143903MaRDI QIDQ5254191

Yao Sun, Ding-Kang Wang

Publication date: 9 June 2015

Published in: Proceedings of the 36th international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1101.3382

zbMATH Keywords

Gröbner basisF5generalized criterionsignature related algorithm

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

An improvement for GVW ⋮ Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra ⋮ A new framework for computing Gröbner bases ⋮ A new proof for the correctness of the F5 algorithm ⋮ Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases ⋮ 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 ⋮ A new signature-based algorithms for computing Gröbner bases

Uses Software

• F5C

This page was built for publication: A generalized criterion for signature related Gröbner basis algorithms