
Matlab
 Referenced in 11496 articles
[sw00558]
 MATLAB® is a highlevel language and interactive environment for numerical computation, visualization, and programming ... algorithms, and create models and applications. The language, tools, and builtin math functions enable ... faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... industry and academia use MATLAB, the language of technical computing...

R
 Referenced in 7624 articles
[sw00771]
 language and environment for statistical computing and graphics. It is a GNU project which ... similar to the S language and environment which was developed at Bell Laboratories (formerly ... techniques, and is highly extensible. The S language is often the vehicle of choice...

Maple
 Referenced in 4919 articles
[sw00545]
 Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...

GAP
 Referenced in 2702 articles
[sw00320]
 Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing ... algebraic algorithms written in the GAP language as well as large data libraries of algebraic...

Magma
 Referenced in 2718 articles
[sw00540]
 help introduce new users to the Magma language. Magma is distributed by the Computational Algebra...

Coq
 Referenced in 1751 articles
[sw00161]
 proof management system. It provides a formal language to write mathematical definitions, executable algorithms ... Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project...

Python
 Referenced in 1154 articles
[sw14460]
 highlevel, generalpurpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability ... code than would be possible in languages such as C++ or Java. The language provides...

SINGULAR
 Referenced in 1314 articles
[sw00866]
 interactive shell and a Clike programming language, SINGULAR’s internal functionality is augmented ... libraries written in the SINGULAR programming language. A general and efficient implementation of communication links...

Macaulay2
 Referenced in 1576 articles
[sw00537]
 through a versatile high level interpreted user language with a powerful debugger supporting the creation...

FreeFem++
 Referenced in 947 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated to the finite element method. It enables ... treebased interpolation algorithm and a language for the manipulation of data on multiple meshes ... written in C++ and the FreeFem++ language is a C++ idiom. It runs...

Isabelle/HOL
 Referenced in 922 articles
[sw01569]
 formulas to be expressed in a formal language and provides tools for proving those formulas ... software and proving properties of computer languages and protocols...

ML
 Referenced in 502 articles
[sw01218]
 Meta Language’) is a generalpurpose functional programming language. It has roots in Lisp ... currying. It is used heavily in programming language research ... languages to be completely specified and verified using formal semantics. Its types and pattern matching ... commonly used to operate on other formal languages, such as in compiler writing, automated theorem...

Maude
 Referenced in 652 articles
[sw06233]
 Maude is a highperformance reflective language and system supporting both equational and rewriting logic ... influenced in important ways by the OBJ3 language, which can be regarded as an equational...

Haskell
 Referenced in 832 articles
[sw03521]
 standardized, generalpurpose purely functional programming language, with nonstrict semantics and strong static typing...

Isabelle
 Referenced in 598 articles
[sw00454]
 formulas to be expressed in a formal language and provides tools for proving those formulas ... software and proving properties of computer languages and protocols...

ALGOL 60
 Referenced in 448 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is a member of the ALGOL family ... computer programming languages. It followed on from ALGOL 58 which had introduced code blocks ... delimiting them. ALGOL 60 was the first language implementing nested function definitions with lexical scope ... gave rise to many other programming languages, including CPL, Simula, BCPL, B, Pascal...

CoCoA
 Referenced in 605 articles
[sw00143]
 enhanced by the dedicated highlevel programming language. For convenience, the system offers a textual...

PVS
 Referenced in 602 articles
[sw03484]
 verification system: that is, a specification language integrated with support tools and a theorem prover...

QRM
 Referenced in 602 articles
[sw11358]
 package QRM: Provides Rlanguage Code to Examine Quantitative Risk Management Concepts. This package...

AMPL
 Referenced in 575 articles
[sw04001]
 comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems, in discrete...