PolyBoRiA C++ library to help you with your development. | |
Download |
PolyBoRi Ranking & Summary
Advertisement
PolyBoRi Tags
PolyBoRi Description
PolyBoRi is a small, handy implementation as a C++ library specially designed for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings. On top of this C++-library we provide a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Gröbner base computation. PolyBoRi features a powerful reference implementation for Gröbner basis computation.
PolyBoRi Related Software