• PolyBoRi

  • Referenced in 47 articles [sw00723]
  • fast Gröbner-basis computations. We introduce a specialised data structure for Boolean polynomials based ... useless-pair criterion for Gröbner-basis computations in Boolean rings is introduced ... formal hardware and software verification based on Boolean expressions, which suffer-besides from the complexity ... that our preliminary implementation shows that Gröbner-bases 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 high-level language and interactive...