On computation of Boolean involutive bases

DOI10.1134/S0361768810020106zbMath1214.68472MaRDI QIDQ1956959

Yu. A. Blinkov, M. V. Zinin, Vladimir P. Gerdt

Publication date: 24 September 2010

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)

13D40: Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series

90C09: Boolean programming

06E20: Ring-theoretic properties of Boolean algebras

Uses Software

• FGb
• Ginv
• BIBasis