- Referenced in 12477 articles
- 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...
- Referenced in 8728 articles
- 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...
- Referenced in 594 articles
- 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...
- Referenced in 533 articles
- interfaces, access to industry-standard modeling languages, flexible licensing together with transparent pricing, and outstanding...
- Referenced in 476 articles
- contains the LP solver SoPlex, the modelling language ZIMPL, the parallelization framework...
- Referenced in 188 articles
- 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...
- Referenced in 172 articles
- library. GLPK supports the GNU MathProg modeling language, which is a subset of the AMPL...
- Referenced in 371 articles
- 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...
- Referenced in 302 articles
- 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...
- Referenced in 120 articles
- translates from JAVA to PROMELA, the modeling language of the SPIN model checker. JPF translates...
- Referenced in 185 articles
- 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...
- Referenced in 83 articles
- 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...
- Referenced in 251 articles
- DYNAMO (DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system...
- Referenced in 668 articles
- package QRM: Provides R-language Code to Examine Quantitative Risk Management Concepts. This package ... analysis, time series analysis and generalized linear modelling...
- Referenced in 279 articles
- both a programming language in which you can model computer systems and a tool...
- Referenced in 92 articles
- 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...
- Referenced in 134 articles
- 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...
- Referenced in 77 articles
- MiniZinc is a medium-level constraint modelling language. It is high-level enough to express...
- Referenced in 419 articles
- your model. The NAG Library is available for use with many programming languages...
- Referenced in 102 articles
- multi-agent programming language and modeling environment for simulating complex phenomena. It is designed...