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

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

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

AUTO
 Referenced in 958 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...

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

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

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

MACSYMA
 Referenced in 721 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...

ABAQUS/Standard
 Referenced in 210 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...

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

XPPAUT
 Referenced in 464 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 54 articles
[sw06086]
 symmetric and asymmetric Choquet integrals. An analysis of capacities in terms of decision behavior...

JIVE
 Referenced in 22 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...

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

AUTO86
 Referenced in 279 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...

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

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

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

ABAQUS/Explicit
 Referenced in 79 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...

LIMbook
 Referenced in 59 articles
[sw14520]
 framework of geometric integration, a branch of numerical analysis that devises numerical methods able ... begins with an introduction to the line integral methods. It describes numerous Hamiltonian problems encountered...