
DIMACS
 Referenced in 540 articles
[sw08221]
 questions of determining realistic algorithm performance where worst case analysis is overly pessimistic and probabilistic ... provide guides to realistic algorithm performance where analysis fails. Experimentation also brings algorithmic questions closer ... other methods of testing and comparing performance of algorithms. And it is a step...

PRISM
 Referenced in 423 articles
[sw01186]
 processes and continuoustime Markov chains. Analysis is performed through model checking such systems against...

PMA
 Referenced in 114 articles
[sw19126]
 package PMA: Penalized Multivariate Analysis. Performs Penalized Multivariate Analysis: a penalized matrix decomposition, sparse principal...

Scilab
 Referenced in 168 articles
[sw00834]
 science applications including mathematical operations and data analysis. 2D & 3D Visualization: Graphics functions ... discrete optimization problems. Statistics: Tools to perform data analysis and modeling Control System Design & Analysis...

GAUSS
 Referenced in 119 articles
[sw00322]
 flexible or powerful enough to perform complicated analysis or to work on large problems. Whatever...

DAKOTA
 Referenced in 68 articles
[sw05202]
 with nonlinear least squares methods; and sensitivity/variance analysis with design of experiments and parameter study ... problemsolving environment for design and performance analysis of computational models on high performance computers...

MACSYMA
 Referenced in 716 articles
[sw01209]
 indefinite integral of a function), or to perform very complicated computations by means ... solution capabilities in algebra, calculus and numerical analysis 2D and 3D reportquality graphics interactive...

Archive Formal Proofs
 Referenced in 163 articles
[sw28613]
 proof assistant Isabelle. We perform an indepth analysis of the archive, looking at various...

ABAQUS/Standard
 Referenced in 190 articles
[sw07161]
 start by performing a nonlinear engine cover mounting analysis including sophisticated gasket mechanics. Following...

KEEL
 Referenced in 105 articles
[sw06791]
 processing techniques, allowing it to perform a complete analysis of any learning model in comparison...

z3
 Referenced in 514 articles
[sw04887]
 highperformance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic ... integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...

BILOG
 Referenced in 62 articles
[sw13946]
 BILOG that is designed for the efficient analysis of binary items, including multiplechoice ... items or respondents. It can perform item analysis and scoring of any number of subtests...

CaterpillarSSA
 Referenced in 57 articles
[sw20106]
 CaterpillarSSA program performs extended analysis, forecasting and changepoint detection for onedimensional time series ... remember sequences of program procedures and to perform them automatically, are added (see macros description ... days. All the examples of the book ”Analysis of time series structure: SSA and related...

Rapide
 Referenced in 38 articles
[sw01249]
 EADLs in evolutionary development and rigorous analysis of largescale systems. Rapide™ is designed ... life cycle tools for correctness and performance analysis of distributed timesensitive systems...

PetIGA
 Referenced in 52 articles
[sw12420]
 PetIGA: highperformance isogeometric analysis. This software framework implements a NURBSbased Galerkin finite element ... method (FEM), popularly known as isogeometric analysis (IGA). It is heavily based on PETSc ... sizes, including largescale simulations where high performance parallel is a must. PetIGA...

CGAL
 Referenced in 367 articles
[sw00118]
 smallest enclosing ellipsoid of points, principal component analysis), and kinetic data structures. All these data ... geometric objects like points and segments, and perform geometric tests on them. These objects...

TCHAT
 Referenced in 27 articles
[sw13068]
 developed software program TCHAT, to perform bifurcation analysis of systems in which continuous ... program are illustrated by performing bifurcation analysis of a few example hybrid dynamical systems...

geoR
 Referenced in 54 articles
[sw04489]
 with the geoR’s commands for data analysis and show some of the graphical outputs ... attempt to perform a deﬁnitive analysis of the dataset used throughout the exemples neither...

PLINK
 Referenced in 63 articles
[sw04581]
 opensource whole genome association analysis toolset, designed to perform a range of basic, large ... focus of PLINK is purely on analysis of genotype/phenotype data, so there is no support...

DAISY
 Referenced in 45 articles
[sw09059]
 performing actual biomedical experiments. Many interesting biological models are nonlinear but identifiability analysis for nonlinear ... differential algebra algorithm to perform parameter identifiability analysis for (linear and) nonlinear dynamic models described ... experiments are particularly expensive and/or difficult to perform. Practical examples of use of the software...