
NAG
 Referenced in 419 articles
[sw00610]
 numerical capabilities to fit your model. The NAG Library is available for use with many...

CPLEX
 Referenced in 2602 articles
[sw04082]
 offers C, C++, Java, .NET, and Python libraries that solve linear programming (LP) and related ... convex quadratic function. The variables in the model may be declared as continuous or further...

NuSMV
 Referenced in 298 articles
[sw04131]
 combines BDDbased model checking component that exploits the CUDD library developed by Fabio Somenzi...

GAMLSS
 Referenced in 169 articles
[sw08145]
 Location Scale and Shape. The library for fitting GAMLSS models...

Simulink
 Referenced in 766 articles
[sw04348]
 environment for multidomain simulation and ModelBased Design for dynamic and embedded systems. It provides ... environment and a customizable set of block libraries that let you design, simulate, implement ... simulations, create batch processing scripts, customize the modeling environment, and define signal, parameter, and test...

OpenFOAM
 Referenced in 419 articles
[sw04317]
 methods, meshing, physical models, …) are each compiled into their own shared library. Executable applications...

Dymola
 Referenced in 51 articles
[sw06285]
 free to create their own model libraries or modify the ready made model libraries...

UMDES
 Referenced in 363 articles
[sw09523]
 library of C routines written for the study of discrete event systems modeled by finite...

CGAL
 Referenced in 362 articles
[sw00118]
 algorithms in the form of a C++ library. CGAL is used in various areas needing ... graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical imaging ... CGAL web page. The Computational Geometry Algorithms Library (CGAL), offers data structures and algorithms like...

HDF5
 Referenced in 48 articles
[sw14818]
 HDF5 is a data model, library, and file format for storing and managing data...

GLPK
 Referenced in 172 articles
[sw04560]
 form of a callable library. GLPK supports the GNU MathProg modeling language, which...

PYTHIA8
 Referenced in 108 articles
[sw09347]
 collisions, comprising a coherent set of physics models for the evolution from a fewbody ... state. It contains a library of hard processes and models for initial and finalstate...

GloMoSim
 Referenced in 60 articles
[sw13764]
 have been designed. The paper describes a library, called GloMoSim (Global Mobile system Simulator ... layers, each with its own API. Models of protocols at one layer interact with those ... event algorithms. The paper describes the GloMoSim library, addresses a number of issues relevant ... memory multicomputer. These experiments use models constructed from the library modules...

CommonKADS
 Referenced in 29 articles
[sw01531]
 solving methods and ontologies of domain models. A library of these models and components ... contains the most comprehensive collection available of modelling components for contructing `second generation ... second part of the book contains the Library itself, enhanced by a description...

Gerris
 Referenced in 276 articles
[sw00341]
 terms Portable parallel support using the MPI library, dynamic loadbalancing, parallel offline visualisation Volume ... scheme for interfacial flows Accurate surface tension model Multiphase electrohydrodynamics...

Julia
 Referenced in 306 articles
[sw13986]
 type system simultaneously enables an expressive programming model and successful type inference, leading to good ... possible for much of the Julia library to be written in Julia itself, while also...

SPOT
 Referenced in 25 articles
[sw09473]
 SPOT: an extensible model checking library using transitionbased generalized Büchi automata. SPOT (SPOT produces ... traces), is a C++ library offering model checking bricks that can be combined and interfaced...

RealPaver
 Referenced in 50 articles
[sw04401]
 solving & rigorous global optimization. Problems: Realpaver allows modeling and solving nonlinear and nonconvex constraint satisfaction ... allows the extension of the library along with modeling and solving problems. A mathematical modeling...

Mcmcpack
 Referenced in 50 articles
[sw07974]
 written in the Scythe Statistical Library Version 1.0.3. All models return coda mcmc objects that...

libMesh
 Referenced in 143 articles
[sw06657]
 parallel platforms. A major goal of the library is to provide support for adaptive mesh ... focus on the physics they are modeling. libMesh currently supports 1D, 2D, and 3D steady ... popular geometric and finite element types. The library makes use of highquality, existing software...