diff --git a/doc/projects.html b/doc/projects.html index 0601189e..6a80655c 100644 --- a/doc/projects.html +++ b/doc/projects.html @@ -375,6 +375,27 @@ application modules, including GUI and post-processing of results.
+Michael Brickenstein writes:
+ +++The core of PolyBoRi is a C++ library, which provides + high-level data types for Boolean polynomials and monomials, + exponent vectors, as well as for the underlying polynomial + rings and subsets of the powerset of the Boolean variables. As + a unique approach, binary decision diagrams are used as + internal storage type for polynomial structures. 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 basis computation. + Boost.Python has helped us to create this interface in a + very clean way.
+
Revised +
Revised - 15 July, 2003
+ 29 May, 2008© Copyright Dave - Abrahams 2002-2003.
+ Abrahams 2002-2008.