Role of involutive criteria in computing Boolean Gröbner bases

DOI10.1134/S0361768809020042zbMath1184.13078MaRDI QIDQ840090

M. V. Zinin, Vladimir P. Gerdt

Publication date: 4 September 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)