A dynamic F4 algorithm to compute Gröbner bases

DOI10.1007/s00200-020-00450-yzbMath1461.13033OpenAlexW3043789526MaRDI QIDQ2025446

John Perry

Publication date: 14 May 2021

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-020-00450-y

zbMATH Keywords

Gröbner basesMacaulay matrixdynamic algorithmterm orderingF4 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)

Uses Software

• gmp
• SageMath
• SINGULAR
• Gfan
• PPL
• GitHub
• gb
• singular-benchmarks
• Database of Polynomial Systems
• Dynamic.sage

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm
• On the theory of graded structures
• The Gröbner fan of an ideal
• On an installation of Buchberger's algorithm
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• Converting bases with the Gröbner walk
• A Note on Dynamic Gröbner Bases Computation
• Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases
• Exploring the Dynamic Buchberger Algorithm
• Advances in Cryptology - CRYPTO 2003