
SAS
 Referenced in 1513 articles
[sw06377]
 Statistical Analysis System) is an integrated system of software products provided by SAS Institute...

Stata
 Referenced in 812 articles
[sw06029]
 complete, integrated statistical package that provides everything you need for data analysis, data management...

z3
 Referenced in 510 articles
[sw04887]
 quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from...

Datalog
 Referenced in 283 articles
[sw20023]
 application in data integration, information extraction, networking, program analysis, security, and cloud computing...

AUTO
 Referenced in 887 articles
[sw01059]
 Zhang. AUTO can do a limited bifurcation analysis of algebraic systems of the form ... subject to initial conditions, boundary conditions, and integral constraints. Here p denotes one or more ... includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast...

Pellet
 Referenced in 92 articles
[sw07019]
 Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety...

MACSYMA
 Referenced in 716 articles
[sw01209]
 line commands (such as finding the indefinite integral of a function), or to perform very ... solution capabilities in algebra, calculus and numerical analysis 2D and 3D reportquality graphics interactive...

Bandera
 Referenced in 134 articles
[sw07663]
 Bandera Tool Set is an integrated collection of program analysis, transformation, and visualization components designed...

EnKF
 Referenced in 362 articles
[sw02066]
 integrations to predict the error statistics forward in time, and it uses an analysis scheme...

ABAQUS/Standard
 Referenced in 190 articles
[sw07161]
 conditions for continuation in Abaqus/Explicit. Similarly, an analysis that starts in Abaqus/Explicit can be continued ... this integration allows Abaqus/Standard to be applied to those portions of the analysis that...

XPPAUT
 Referenced in 423 articles
[sw05543]
 XPPAUT is software for the analysis and simulation of dynamic systems. It includes AUTO ... Differential equations, maps, stochastic systems, delay equations, integral equations, and other systems are easily solved...

kappalab
 Referenced in 50 articles
[sw06086]
 symmetric and asymmetric Choquet integrals. An analysis of capacities in terms of decision behavior...

AUTO86
 Referenced in 275 articles
[sw04220]
 Chenghai Zhang.AUTO can do a limited bifurcation analysis of algebraic systems of the formf ... Rnsubject to initial conditions, boundary conditions, and integral constraints. Here p denotes one or more ... includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast...

statnet
 Referenced in 59 articles
[sw07328]
 tools for the Statistical Analysis of Network Data. An integrated set of tools...

EPANET
 Referenced in 44 articles
[sw07618]
 also simplify adding analysis capabilities to integrated network modeling environments based...

LIMDEP
 Referenced in 76 articles
[sw04925]
 Version 10 is an integrated statistical package for estimation and analysis of linear and nonlinear...

BEAN
 Referenced in 70 articles
[sw09636]
 evaluation of hypersingular integrals. Chapter 11: BEAN: Boundary Element ANalysis program...

ABAQUS/Explicit
 Referenced in 77 articles
[sw07160]
 conditions for continuation in Abaqus/Standard. Similarly, an analysis that starts in Abaqus/Standard can be continued ... this integration allows Abaqus/Explicit to be applied to those portions of the analysis where high...

BGX
 Referenced in 15 articles
[sw06935]
 Bioconductor package for the Bayesian integrated analysis of Affymetrix GeneChips. BGX is a new Bioconductor ... package that implements an integrated Bayesian approach to the analysis of 3’ GeneChip data...

JIVE
 Referenced in 12 articles
[sw09511]
 Individual Variation Explained (JIVE) for integrated analysis of multiple data types. Research in several fields ... requires the analysis of data sets in which multiple highdimensional types of data ... general decomposition of variation for the integrated analysis of such data sets. The decomposition consists...