• CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • resolution of alternation-free Boolean equation systems. Boolean equation systems (Bess) provide a useful framework...
  • OTTER

  • Referenced in 290 articles [sw02904]
  • embedded equational programming system. Otter is a fourth-generation Argonne National Laboratory deduction system whose ... areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory...
  • DERIVE

  • Referenced in 59 articles [sw02964]
  • software Derive 6 is a powerful system for doing symbolic and numeric mathematics on your ... processes algebraic variables, expressions, equations, functions, vectors, matrices and Boolean expressions like a scientific calculator ... three dimensions using various coordinate systems. By its seamless integration of numeric, algebraic and graphic...
  • SQUAD

  • Referenced in 5 articles [sw29353]
  • reconstruction of regulatory networks in diverse biological systems. This information, however, has proven ... Boolean network with the use of a set of ordinary differential equations. The main benefit...
  • ProMoT

  • Referenced in 5 articles [sw02007]
  • algebraic equations, and their simulation and further analysis. For the application in Systems Biology ... also for the visual construction of Boolean models that can be analyzed with CellNetAnalyzer...
  • ADAM

  • Referenced in 5 articles [sw21957]
  • qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent ... discrete model types automatically into polynomial dynamical systems and analyzes their dynamics using tools from ... equivalent to solving a system of polynomial equations, a long-studied problem in computer algebra...
  • BARON

  • Referenced in 268 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

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

  • Referenced in 308 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 564 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1526 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

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

  • Referenced in 2399 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • jETI

  • Referenced in 13 articles [sw00471]
  • We present jETI, a redesign of the Electronic...
  • LEDA

  • Referenced in 242 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1364 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 4704 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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