Advertisement
PolyBoRi
C++ Library that offers polynomials over boolean rings...
Boolean polynomial Boolean monomial exponent vector boolean polynomial
Monos
Set of tools and libraries for computing with monomials and binomial ideals...
compute computation monomial monomial computation binomial computation