
CAESAR_SOLVE
 Referenced in 14 articles
[sw10194]
 resolution of alternationfree Boolean equation systems. Boolean equation systems (Bess) provide a useful framework...

OTTER
 Referenced in 290 articles
[sw02904]
 embedded equational programming system. Otter is a fourthgeneration 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 longstudied 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...