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

OTTER
 Referenced in 310 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 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 structurebased 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 longstudied 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...