• Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive environment for numerical computation, visualization, and programming ... algorithms, and create models and applications. The language, tools, and built-in 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]
  • high-level, general-purpose, 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 C-like 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 ... tree-based 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 general-purpose 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 high-performance 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, general-purpose purely functional programming language, with non-strict 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 high-level 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 R-language 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...