
REVEAL
 Referenced in 28 articles
[sw36999]
 Boolean nets, resemble time series of gene expression. By systematically analyzing the mutual information between ... infer the sets of input elements controlling each element or gene in the network. This...

AutoMOTGen
 Referenced in 5 articles
[sw09718]
 handle SL/SF blocks commonly used in automotive controllers (including blocks such as integrator, delay, multiplication/division ... NET framework) and uses MATLAB scripting language for extracting the relevant information from SL/SF models...

GeNIe
 Referenced in 7 articles
[sw13964]
 NoisyAND gates, value of information, and sensitivity analysis. In addition to its native file ... used from Java, .NET environment, or as an ActiveX control. GeNIe Modeler and SMILE Engine...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1904 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

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

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NetworkX
 Referenced in 159 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

PSPLIB
 Referenced in 269 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

RelView
 Referenced in 102 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...