
PolyBoRi
 Referenced in 47 articles
[sw00723]
 fast Gröbnerbasis computations. We introduce a specialised data structure for Boolean polynomials based ... uselesspair criterion for Gröbnerbasis computations in Boolean rings is introduced ... formal hardware and software verification based on Boolean expressions, which sufferbesides from the complexity ... that our preliminary implementation shows that Gröbnerbases on specific data structures can be capable...

BIBasis
 Referenced in 3 articles
[sw06549]
 computer algebra systems to compute Boolean involutive and Gröbner bases. In this paper, we describe ... which allows one to compute Boolean involutive bases and Gröbner bases. The implementations and user ... other packages and algorithms for constructing Boolean Gröbner bases available in the computer algebra systems...

BGSet
 Referenced in 1 article
[sw14751]
 BGSet  a software to compute Boolean Gröbner bases...

BooleanGB
 Referenced in 0 articles
[sw36745]
 Macaulay2 package BooleanGB  Groebner Bases for Ideals in...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 634 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 57 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

dpgb
 Referenced in 16 articles
[sw00217]
 Improving the DISPGB algorithm using the discriminant ideal...

FGb
 Referenced in 244 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

M4RI
 Referenced in 18 articles
[sw00534]
 M4RI is a library for fast arithmetic with...

Macaulay2
 Referenced in 1721 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...