• 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 report-quality 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...
  • AUTO-86

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