Signature-based algorithms to compute Gröbner bases
From MaRDI portal
Publication:5254159
DOI10.1145/1993886.1993906zbMath1323.68593OpenAlexW2098942149MaRDI QIDQ5254159
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://doi.org/10.1145/1993886.1993906
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
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, Axioms for a theory of signature bases, Further perspectives on elimination, Involutive bases algorithm incorporating F\(_5\) criterion, An analysis of inhomogeneous signature-based Gröbner basis computations, A survey on signature-based algorithms for computing Gröbner bases, On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases, Solving Polynomial Systems via Truncated Normal Forms, Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm, A signature-based algorithm for computing Gröbner bases over principal ideal domains, Simple signature based iterative algorithm for calculation of Gröbner bases
Uses Software