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

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

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

AUTO
 Referenced in 762 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 91 articles
[sw07019]
 Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety...

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

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

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

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

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

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

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

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

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

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

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

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

Chabot
 Referenced in 39 articles
[sw14898]
 approach that integrates a relational database retrieval system with a color analysis technique. The Chabot ... goal was to integrate a relational database retrieval system with content analysis techniques that would...

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