BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases

Mikhail V. Zinin. BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. Programming and Computer Software, 38(2):92-101, 2012. [doi]

Abstract

Abstract is missing.