• Matlab

  • Referenced in 11343 articles [sw00558]
  • MATLAB® is a high-level language and interactive environment for numerical computation, visualization, and programming ... data, develop algorithms, and create models and applications. The language, tools, and built-in math...
  • R

  • Referenced in 7468 articles [sw00771]
  • project which is similar to the S language and environment which was developed at Bell ... wide variety of statistical (linear and nonlinear modelling, classical statistical tests, time-series analysis, classification ... techniques, and is highly extensible. The S language is often the vehicle of choice...
  • AMPL

  • Referenced in 572 articles [sw04001]
  • comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems, in discrete ... notation and familiar concepts to formulate optimization models and examine solutions, while the computer manages...
  • Gurobi

  • Referenced in 439 articles [sw04105]
  • interfaces, access to industry-standard modeling languages, flexible licensing together with transparent pricing, and outstanding...
  • SCIP

  • Referenced in 418 articles [sw01091]
  • contains the LP solver SoPlex, the modelling language ZIMPL, the parallelization framework...
  • JML

  • Referenced in 188 articles [sw04597]
  • Java Modeling Language (JML) is a behavioral interface specification language that can be used ... model-based specification approach of the Larch family of interface specification languages, with some elements...
  • GLPK

  • Referenced in 161 articles [sw04560]
  • library. GLPK supports the GNU MathProg modeling language, which is a subset of the AMPL...
  • XPath

  • Referenced in 365 articles [sw15780]
  • expression language that allows the processing of values conforming to the data model defined ... allowed by the data model. The name of the language derives from its most distinctive...
  • Java PathFinder

  • Referenced in 119 articles [sw07658]
  • translates from JAVA to PROMELA, the modeling language of the SPIN model checker. JPF translates...
  • LINGO

  • Referenced in 277 articles [sw04942]
  • Second Order Cone, Stochastic, and Integer optimization models faster, easier and more efficient. LINGO provides ... package that includes a powerful language for expressing optimization models, a full featured environment...
  • UNITY

  • Referenced in 173 articles [sw13461]
  • UNITY. We evaluate UNITY -- a computational model, specification language and proof system defined by Chandy ... distributed programs -- as a platform for simulation model specification and analysis. We describe a UNITY...
  • DYNAMO

  • Referenced in 246 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system...
  • ACL2

  • Referenced in 273 articles [sw00060]
  • both a programming language in which you can model computer systems and a tool...
  • PDDL

  • Referenced in 88 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension to PDDL for expressing temporal planning domains ... helped to focus the community on the modelling and reasoning issues that must be confronted ... This necessitated the development of a modelling language capable of expressing temporal and numeric properties ... competition. We describe the syntax of the language, its formal semantics and the validation...
  • QRM

  • Referenced in 598 articles [sw11358]
  • package QRM: Provides R-language Code to Examine Quantitative Risk Management Concepts. This package ... analysis, time series analysis and generalized linear modelling...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • visualization components designed to facilitate experimentation with model-checking Java source code. Bandera takes ... Bandera’s temporal specification language, and it generates a program model and specification ... input language of one of several existing model-checking tools (including Spin, dSpin...
  • MiniZinc

  • Referenced in 69 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language. It is high-level enough to express...
  • Numerica

  • Referenced in 46 articles [sw21227]
  • Numerica: A modeling language for global optimization. Many science and engineering applications require the user ... optima to optimization problems. Numerica is modeling language for global optimization that makes it possible...
  • Bio-PEPA

  • Referenced in 102 articles [sw01361]
  • order to handle some features of biological models, suchas stoichiometry and the use of general ... PEPA have been considered andextended to our language. Finally, we show ... translation of a biological model into thenew language and we report some analysis results...
  • NetLogo

  • Referenced in 92 articles [sw09150]
  • multi-agent programming language and modeling environment for simulating complex phenomena. It is designed...