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

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

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

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

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

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

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

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

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

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

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

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

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

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

BGX
 Referenced in 14 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...

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...