• NAG

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

  • Referenced in 2069 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 265 articles [sw04131]
  • combines BDD-based model checking component that exploits the CUDD library developed by Fabio Somenzi...
  • Simulink

  • Referenced in 561 articles [sw04348]
  • environment for multidomain simulation and Model-Based 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...
  • Dymola

  • Referenced in 39 articles [sw06285]
  • free to create their own model libraries or modify the ready made model libraries...
  • UMDES

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

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

  • Referenced in 270 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...
  • GLPK

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

  • Referenced in 91 articles [sw09347]
  • collisions, comprising a coherent set of physics models for the evolution from a few-body ... state. It contains a library of hard processes and models for initial- and final-state...
  • OpenFOAM

  • Referenced in 137 articles [sw04317]
  • methods, meshing, physical models, …) are each compiled into their own shared library. Executable applications...
  • 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 26 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...
  • 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...
  • SPOT

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

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

  • Referenced in 153 articles [sw00341]
  • terms Portable parallel support using the MPI library, dynamic load-balancing, parallel offline visualisation Volume ... scheme for interfacial flows Accurate surface tension model Multiphase electrohydrodynamics...
  • Bow

  • Referenced in 31 articles [sw10563]
  • Language Modeling, Text Retrieval, Classification and Clustering. Bow (or libbow) is a library ... analysis, language modeling and information retrieval programs. The current distribution includes the library, as well...
  • GAMS Model

  • Referenced in 6 articles [sw21987]
  • GAMS Model Libraries: From the early stages of the development of GAMS we have collected ... data they use. These model libraries are included with all GAMS systems and are also ... available online. The following model libraries are available: GAMS Model Library - includes GAMS models representing ... Technology by Neculai Andrei. See Accessing Model Libraries on how to access a GAMS model...
  • libMesh

  • Referenced in 89 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 high-quality, existing software...