Involutive method for computing Gröbner bases over \(\mathbb F_2\)
From MaRDI portal
Publication:840027
DOI10.1134/S0361768808040026zbMath1185.68868MaRDI QIDQ840027
M. V. Zinin, Vladimir P. Gerdt
Publication date: 4 September 2009
Published in: Programming and Computer Software (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Uses Software