A generalized criterion for signature related Gröbner basis algorithms
From MaRDI portal
Publication:5254191
DOI10.1145/1993886.1993936zbMath1323.68630arXiv1101.3382OpenAlexW2054143903MaRDI QIDQ5254191
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
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
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