• NAG

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

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

  • Referenced in 516 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...
  • UMDES

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

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

  • Referenced in 254 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 117 articles [sw04560]
  • form of a callable library. GLPK supports the GNU MathProg modeling language, which...
  • GAMLSS

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

  • Referenced in 76 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...
  • GloMoSim

  • Referenced in 58 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...
  • OpenFOAM

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

  • Referenced in 45 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 15 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...
  • Bow

  • Referenced in 30 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...
  • HDF5

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

  • Referenced in 126 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...
  • libMesh

  • Referenced in 73 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...
  • ParaDisEO

  • Referenced in 37 articles [sw01948]
  • provide the most common parallel and distributed models. Their implementation is portable on distributed-memory ... uses standard libraries such as MPI, PVM and PThreads. The models can be exploited...