
Matlab
 Referenced in 13745 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 10253 articles
[sw00771]
 language and environment for statistical computing and graphics. It is a GNU project which...

Isabelle/HOL
 Referenced in 1032 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 3366 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 3222 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 721 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...

Julia
 Referenced in 492 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 60
 Referenced in 670 articles
[sw21807]
 member of the ALGOL family of computer programming languages. It followed on from ALGOL...

Maple
 Referenced in 5408 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...

ALGOL 68
 Referenced in 291 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...

Macaulay2
 Referenced in 1963 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...

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

Ada95
 Referenced in 294 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...

SINGULAR
 Referenced in 1523 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...

COBOL
 Referenced in 237 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...

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

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

MuPAD
 Referenced in 139 articles
[sw00606]
 provides access to the complete MuPAD language. Computer algebra system...

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

PL/I
 Referenced in 174 articles
[sw25845]
 Language One) is a procedural, imperative computer programming language designed for scientific, engineering, business...