
Matlab
 Referenced in 11969 articles
[sw00558]
 highlevel language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... 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 ... 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 multigraded ... 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 Englishlike computer programming language designed for business ... used in legacy applications deployed on mainframe computers, such as largescale 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 freeresolution computations, and many more related functionalities. Based on an easy ... interactive shell and a Clike 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 objectoriented highlevel 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...