Axioms for a theory of signature bases
From MaRDI portal
Publication:6149142
DOI10.1016/j.jsc.2023.102275arXiv2210.13788OpenAlexW4307416510MaRDI QIDQ6149142
Publication date: 5 February 2024
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.13788
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new proof for the correctness of the F5 algorithm
- Corrigendum to: ``The F5 criterion revised
- Extended \(F_5\) criteria
- Hilbert functions and the Buchberger algorithm
- A signature-based algorithm for computing Gröbner bases over principal ideal domains
- Methods for computing in algebraic geometry and commutative algebra
- On an installation of Buchberger's algorithm
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- An introduction to commutative and noncommutative Gröbner bases
- The Magma algebra system. I: The user language
- A survey on signature-based algorithms for computing Gröbner bases
- Polynomial algorithms in computer algebra
- Termination of the F5 algorithm
- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
- The F5 criterion revised
- On the complexity of the \(F_5\) Gröbner basis algorithm
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
- A new incremental algorithm for computing Groebner bases
- Signature rewriting in gröbner basis computation
- A new framework for computing Gröbner bases
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- On Signature-Based Gröbner Bases Over Euclidean Rings
- A Tropical F5 Algorithm
- Extending the GVW Algorithm to Local Ring
- On Affine Tropical F5 Algorithms
- Gröbner Basis over Semigroup Algebras
- Signature-based algorithms for Gröbner bases over tate algebras
- On the construction of staggered linear bases
- Practical Gröbner basis computation
- A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras
- Ideals, Varieties, and Algorithms
- Signature-based algorithms to compute Gröbner bases
- Advances in Cryptology - CRYPTO 2003
- Ordering by Divisibility in Abstract Algebras
- Signature Gröbner bases in free algebras over rings
- A signature-based algorithm for computing the nondegenerate locus of a polynomial system
