An improvement over the GVW algorithm for inhomogeneous polynomial systems

DOI10.1016/j.ffa.2016.06.002zbMath1370.13021arXiv1404.1428OpenAlexW1751930552MaRDI QIDQ530403

Yao Sun, Ding-Kang Wang, Dong-Dai Lin, Zhen Yu Huang

Publication date: 29 July 2016

Published in: Finite Fields and their Applications (Search for Journal in Brave)

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

zbMATH Keywords

Gröbner basislinear algebraBoolean polynomial ringsignature-based algorithmthe GVW 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) Arithmetic theory of polynomial rings over finite fields (11T55) Solving polynomial systems; resultants (13P15)

Related Items (3)

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra ⋮ Speeding up the GVW algorithm via a substituting method ⋮ An involutive GVW algorithm and the computation of Pommaret bases

Uses Software

• M4RI
• F5C

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra
• A new proof for the correctness of the F5 algorithm
• Extended \(F_5\) criteria
• F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• The F5 criterion revised
• An analysis of inhomogeneous signature-based Gröbner basis computations
• Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases
• A new incremental algorithm for computing Groebner bases
• Simultaneous computation of the row and column rank profiles
• Signature rewriting in gröbner basis computation
• A new framework for computing Gröbner bases
• Practical Gröbner basis computation
• A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras
• A generalized criterion for signature related Gröbner basis algorithms
• Advances in Cryptology - CRYPTO 2003

This page was built for publication: An improvement over the GVW algorithm for inhomogeneous polynomial systems