• Matlab

• Referenced in 13460 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 9810 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...

• Gurobi

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

• AMPL

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

• SCIP

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

• JML

• Referenced in 189 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 181 articles [sw04560]
• library. GLPK supports the GNU MathProg modeling language, which is a subset of the AMPL...

• JuMP

• Referenced in 123 articles [sw16108]
• JuMP: A Modeling Language for Mathematical Optimization. JuMP is an open-source modeling language that ... programming language to offer unique functionality while achieving performance on par with commercial modeling tools...

• XPath

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

• LINGO

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

• Java PathFinder

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

• UNITY

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

• PDDL

• Referenced in 103 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 718 articles [sw11358]
• package QRM: Provides R-language Code to Examine Quantitative Risk Management Concepts. This package ... analysis, time series analysis and generalized linear modelling...

• DYNAMO

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

• ACL2

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

• BERT

• Referenced in 92 articles [sw30756]
• Language Understanding. We introduce a new language representation model called BERT, which stands for Bidirectional ... Encoder Representations from Transformers. Unlike recent language representation models, BERT is designed to pre-train ... models for a wide range of tasks, such as question answering and language inference, without...

• 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 85 articles [sw06261]
• MiniZinc is a medium-level constraint modelling language. It is high-level enough to express...

• Modelica

• Referenced in 124 articles [sw04352]
• freely available, object-oriented language for modeling of large, complex, and heterogeneous systems...