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

  • 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 high-dimensional types of data ... general decomposition of variation for the integrated analysis of such data sets. The decomposition consists...