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

Pyomo
 Referenced in 46 articles
[sw04910]
 modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... fullfeatured 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 30 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 highlevel interfaces to state ... programming, quadratic programming and integration of differentialalgebraic equations. CasADi is implemented in selfcontained...

PySP
 Referenced in 19 articles
[sw04921]
 parameters) in the Pyomo opensource algebraic modeling language. Given these two models, PySP provides...

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...

OPL
 Referenced in 32 articles
[sw21239]
 modeling language for mathematical programming and combinatorial optimization. It is the first language ... combine highlevel algebraic and set notations from mathematical modeling languages with a rich constraint...

BioPEPA
 Referenced in 104 articles
[sw01361]
 present BioPEPA, 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 58 articles
[sw07022]
 Standard Model. The package is written in the computer algebra languages Macsyma as well...

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...

JuMP
 Referenced in 83 articles
[sw16108]
 Optimization. JuMP is an opensource 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...

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...

LISPSTAT
 Referenced in 116 articles
[sw01111]
 basing LispStat 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 32 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 userfriendly specification languages such as Promela ... with compositionality in a lightweight processalgebra style. Thus, MoDeST (i) covers a very ... broad spectrum of modelling concepts, (ii) possesses a rigid, processalgebra style semantics...

Modelica
 Referenced in 93 articles
[sw04352]
 freely available, objectoriented language for modeling of large, complex, and heterogeneous systems ... suited for multidomain 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...

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

KernelLEAF
 Referenced in 28 articles
[sw08982]
 kinds of equality. The language has a clean modeltheoretic 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...

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