Publication:3571263
From MaRDI portal
zbMath1212.68450MaRDI QIDQ3571263
Publication date: 8 July 2010
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Data structures (68P05)
Related Items
An improvement for GVW, The F5 algorithm in Buchberger's style, A new proof for the correctness of the F5 algorithm