Beyond F5 and GVW: The Proper-Cover Algorithm for Fast Ideal Basis Computation

Sheng-Ming Ma, Yi Liu, Zheng-Lin Jiao

Gröbner basis computation incurs heavy computational overhead, especially under lexicographic order. F5 and its GVW variant dominate efficient field-based Gröbner basis solving.…