• Matlab

  • Referenced in 11969 articles [sw00558]
  • high-level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... 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 ... academia use MATLAB, the language of technical computing...
  • R

  • Referenced in 8180 articles [sw00771]
  • language and environment for statistical computing and graphics. It is a GNU project which...
  • Isabelle/HOL

  • Referenced in 941 articles [sw01569]
  • formulas to be expressed in a formal language and provides tools for proving those formulas ... verification, which includes proving the correctness of computer hardware ... software and proving properties of computer languages and protocols...
  • Magma

  • Referenced in 2825 articles [sw00540]
  • number of databases designed to aid computational research in those areas of mathematics which ... users to the Magma language. Magma is distributed by the Computational Algebra Group...
  • GAP

  • Referenced in 2829 articles [sw00320]
  • particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands ... implementing algebraic algorithms written in the GAP language as well as large data libraries ... extend it for your special use. Computer algebra system...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • formulas to be expressed in a formal language and provides tools for proving those formulas ... verification, which includes proving the correctness of computer hardware ... software and proving properties of computer languages and protocols...
  • ALGOL 60

  • Referenced in 502 articles [sw21807]
  • member of the ALGOL family of computer programming languages. It followed on from ALGOL...
  • Maple

  • Referenced in 5020 articles [sw00545]
  • Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided ... math, graphics, images, sound, and diagrams. Computer algebra system...
  • Julia

  • Referenced in 242 articles [sw13986]
  • fast dynamic language for technical computing. Dynamic languages have become popular for scientific computing. They ... presents Julia, a new dynamic language for technical computing, designed for performance from the beginning...
  • ALGOL 68

  • Referenced in 285 articles [sw01226]
  • ALGOrithmic Language 1968) is an imperative computer programming language that was conceived as a successor ... ALGOL 60 programming language, designed with the goal of a much wider scope of application ... ALGOL 68 to the field of computer science have been deep, wide ranging and enduring ... they had reappeared in subsequently developed programming languages...
  • OpenCL

  • Referenced in 216 articles [sw07060]
  • servers and handheld/embedded devices. OpenCL (Open Computing Language) greatly improves speed and responsiveness...
  • Macaulay2

  • Referenced in 1639 articles [sw00537]
  • since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded ... through a versatile high level interpreted user language with a powerful debugger supporting the creation ... objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti...
  • COBOL

  • Referenced in 227 articles [sw01228]
  • language) is a compiled English-like computer programming language designed for business ... used in legacy applications deployed on mainframe computers, such as large-scale batch and transaction ... migrated to new platforms, rewritten in modern languages or replaced with software packages.[6] Most...
  • SINGULAR

  • Referenced in 1362 articles [sw00866]
  • computations, syzygy and free-resolution computations, and many more related functionalities. Based on an easy ... interactive shell and a C-like programming language, SINGULAR’s internal functionality is augmented...
  • WordNet

  • Referenced in 391 articles [sw01777]
  • useful tool for computational linguistics and natural language processing. WordNet superficially resembles a thesaurus...
  • CRAN

  • Referenced in 446 articles [sw04351]
  • freely available language and environment for statistical computing and graphics which provides a wide variety...
  • MuPAD

  • Referenced in 137 articles [sw00606]
  • provides access to the complete MuPAD language. Computer algebra system...
  • PL/I

  • Referenced in 170 articles [sw25845]
  • Language One) is a procedural, imperative computer programming language designed for scientific, engineering, business...
  • Maude

  • Referenced in 657 articles [sw06233]
  • influenced in important ways by the OBJ3 language, which can be regarded as an equational ... programming, Maude also supports rewriting logic computation...
  • Ada95

  • Referenced in 185 articles [sw01753]
  • spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages ... supersede the hundreds of programming languages then used by the DoD. Ada was named after ... credited as being the first computer programmer...