• AMPL

  • Referenced in 537 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems...
  • Pyomo

  • Referenced in 29 articles [sw04910]
  • modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... full-featured scripting language. Python is a powerful and dynamic programming language that ... variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover ... which makes it easy to create Pyomo models, apply a variety of optimizers, and examine...
  • CasADi

  • Referenced in 15 articles [sw06437]
  • hence more flexible, than that of algebraic modeling languages such as AMPL or GAMS ... best described as a minimalistic computer algebra system (CAS) implementing automatic differentiation ... eight different flavors. Similar to algebraic modeling languages, it includes high-level interfaces to state ... programming, quadratic programming and integration of differential-algebraic equations. CasADi is implemented in self-contained...
  • FlopC++

  • Referenced in 9 articles [sw04915]
  • FLOPC++ an algebraic modeling language embedded in C++. FLOPC++ is an open source algebraic modeling ... language implemented as a C++ class library. It allows linear optimization problems to be modeled ... declarative style, similar to algebraic modeling languages, such as GAMS and AMPL, within...
  • PySP

  • Referenced in 15 articles [sw04921]
  • parameters) in the Pyomo open-source algebraic modeling language. Given these two models, PySP provides...
  • OPL

  • Referenced in 29 articles [sw21239]
  • modeling language for mathematical programming and combinatorial optimization. It is the first language ... combine high-level algebraic and set notations from mathematical modeling languages with a rich constraint...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • modelling process algebra. CoCasl, a recently developed coalgebraic extension of the algebraic specification language Casl ... Here, we demonstrate how to specify process algebras, namely CCS [R. Milner, Communication and concurrency...
  • SAMPLE

  • Referenced in 7 articles [sw06289]
  • Extending algebraic modelling languages for stochastic programming. Algebraic modelling languages have gained wide acceptance...
  • Bio-PEPA

  • Referenced in 95 articles [sw01361]
  • present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks ... 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 the translation...
  • FeynCalc

  • Referenced in 44 articles [sw07022]
  • Standard Model. The package is written in the computer algebra languages Macsyma as well...
  • APLEpy

  • Referenced in 5 articles [sw04913]
  • APLEpy: An Open Source Algebraic Programming Language extension for Python APLEpy is a collection ... that provides the functionality of an algebraic modeling and programming software such as AMPL, GAMS ... purpose programming languages and domain specific algebraic modeling languages, (2) provides an easy...
  • DET2STO

  • Referenced in 5 articles [sw05102]
  • then processed by the algebraic modeling language AMPL and optimized by a solver. Stochastic Programming...
  • LISP-STAT

  • Referenced in 113 articles [sw01111]
  • basing Lisp-Stat on the Lisp language, in particular on a subset of Common Lisp ... variety of basic statistical and linear algebra functions. A portable window system interface forms ... statistical model representations, such as linear and nonlinear regression models and generalized linear models. Many ... system design were motivated by the S language...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines ... aspects. The language is influenced by popular and user-friendly specification languages such as Promela ... with compositionality in a light-weight process-algebra style. Thus, MoDeST (i) covers a very ... broad spectrum of modelling concepts, (ii) possesses a rigid, process-algebra style semantics...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • kinds of equality. The language has a clean model-theoretic semantics, where the domains ... interpretations are the algebraic CPOs. In these domains the difference between the two equalities corresponds...
  • CCSL

  • Referenced in 25 articles [sw03357]
  • CCSL is a specification language that combines both algebraic and coalgebraic elements. The CCSL compiler ... used to examine the specification, built models, construct refinements, and much more...
  • GEMPACK

  • Referenced in 18 articles [sw02886]
  • models, regional models and intertemporal (or dynamic) models. GEMPACK runs on a wide variety ... algebra-like language used to describe and document the equations of an economic model...
  • Modelica

  • Referenced in 70 articles [sw04352]
  • freely available, object-oriented language for modeling of large, complex, and heterogeneous systems ... suited for multi-domain modeling, for example, mechatronic models in robotics, automotive and aerospace applications ... electric power. Models in Modelica are mathematically described by differential, algebraic and discrete equations...
  • JuMP

  • Referenced in 24 articles [sw16108]
  • Optimization. JuMP is an open-source modeling language that allows users to express a wide ... level, algebraic syntax. JuMP takes advantage of advanced features of the Julia programming language ... while achieving performance on par with commercial modeling tools for standard tasks. In this work...
  • NetSpeak

  • Referenced in 2 articles [sw01566]
  • NETSPEAK is an algebraic modelling language used to specify, solve, and analyze nonconvex (or linear...