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

Isabelle/HOL
 Referenced in 984 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 3055 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 3003 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 639 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 664 articles
[sw21807]
 member of the ALGOL family of computer programming languages. It followed on from ALGOL...

Julia
 Referenced in 346 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...

Maple
 Referenced in 5220 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 1776 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 219 articles
[sw07060]
 servers and handheld/embedded devices. OpenCL (Open Computing Language) greatly improves speed and responsiveness...

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

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...

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

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

WordNet
 Referenced in 397 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...

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

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