• 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 310 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 64 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...
  • multistatepdscontrol

  • Referenced in 1 article [sw31987]
  • approaches are available, such as systems of ordinary differential equations, then this problem might ... some other model types, such as Boolean networks, where structure-based approaches have been developed ... based on encoding them as polynomial dynamical systems over a finite algebraic state...
  • 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 7 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 304 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

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

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

  • Referenced in 73 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

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

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

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

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

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

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

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

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