
Matlab
 Referenced in 12309 articles
[sw00558]
 computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models ... video processing, control systems, test and measurement, computational finance, and computational biology. More than...

SparseMatrix
 Referenced in 638 articles
[sw04629]
 geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics ... computer graphics/vision, robotics/kinematics, and other discretizations) and those that typically do not have such geometry ... optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical process simulation, mathematics...

SageMath
 Referenced in 1675 articles
[sw00825]
 theory, cryptography, numerical computation, and related areas. Both the Sage development model and the technology ... alternative to Maple, Mathematica, Magma, and MATLAB. Computer algebra system...

R
 Referenced in 8601 articles
[sw00771]
 language and environment for statistical computing and graphics. It is a GNU project which ... wide variety of statistical (linear and nonlinear modelling, classical statistical tests, timeseries analysis, classification...

ACL2
 Referenced in 279 articles
[sw00060]
 programming language in which you can model computer systems and a tool to help...

DACE
 Referenced in 161 articles
[sw04715]
 working with kriging approximations to computer models. Typical use of this software is to construct ... kriging approximation model based on data from a computer experiment, and to use this approximation ... model as a surrogate for the computer model. The software also addresses the design ... inputs at which to evaluate the computer model for constructing the kriging approximation...

spBayes
 Referenced in 330 articles
[sw10160]
 Bayesian hierarchical models. Unfortunately, fitting such models involves computationally intensive Markov chain Monte Carlo (MCMC ... package, spBayes, built upon the R statistical computing platform that implements a generalized template encompassing ... wide variety of Gaussian spatial process models for univariate as well as multivariate pointreferenced...

AMPL
 Referenced in 590 articles
[sw04001]
 concepts to formulate optimization models and examine solutions, while the computer manages communication with ... render it ideal for rapid prototyping and model development, while its speed and control options...

UNITY
 Referenced in 184 articles
[sw13461]
 UNITY. We evaluate UNITY  a computational model, specification language and proof system defined by Chandy...

PERL
 Referenced in 265 articles
[sw01225]
 operating systems, and provides a portable model of computing across diverse architectures. (wikipedia...

GAMS
 Referenced in 842 articles
[sw04978]
 Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer optimization problems ... computers, workstations, mainframes and supercomputers. GAMS allows the user to concentrate on the modeling problem...

CGAL
 Referenced in 360 articles
[sw00118]
 computer graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical ... projects using CGAL web page. The Computational Geometry Algorithms Library (CGAL), offers data structures...

ismev
 Referenced in 370 articles
[sw11209]
 Introduction to Statistical Modeling of Extreme Values. Functions to support the computations carried...

FLUENT
 Referenced in 425 articles
[sw04263]
 FLUENT is a Computational Fluid Dynamics (CFD) code for modelling fluid flow, heat transfer, mass...

gss
 Referenced in 277 articles
[sw06099]
 Smoothing spline ANOVA models Nonparametric function estimation with stochastic data, otherwise known as smoothing ... recent availability of ample desktop and laptop computing power, smoothing methods are now finding their ... settings number far less. Smoothing spline ANOVA models are a versatile family of smoothing methods ... discussions are devoted to model construction, smoothing parameter selection, computation, and asymptotic convergence. Most...

Uppaal
 Referenced in 634 articles
[sw04702]
 modeling, simulation and verification of realtime systems, developed jointly by Basic Research in Computer ... appropriate for systems that can be modeled as a collection of nondeterministic processes with...

SPSS
 Referenced in 634 articles
[sw04269]
 SPSS is a computer program used for survey authoring and deployment (IBM SPSS Data Collection ... data mining (IBM SPSS Modeler), text analytics, statistical analysis, and collaboration and deployment (batch...

Ptolemy
 Referenced in 78 articles
[sw07459]
 heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed ... called directors. Different directors realise different models of computation. In this paper, we formally define ... directors for the following models of computation: synchronous reactive, discrete event, continuous time, process networks...

PARAMESH
 Referenced in 100 articles
[sw00677]
 large and important class of computational models, those using structured, logically Cartesian meshes. The package...

DAKOTA
 Referenced in 67 articles
[sw05202]
 design and performance analysis of computational models on high performance computers...