-
Matlab
- Referenced in 12052 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...
-
Maple
- Referenced in 5036 articles
[sw00545]
- Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...
-
GAP
- Referenced in 2850 articles
[sw00320]
- Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing...
-
SINGULAR
- Referenced in 1373 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 ... make its functionality available to other programs...
-
Coq
- Referenced in 1783 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 1352 articles
[sw14460]
- high-level, general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability ... Java. The language provides constructs intended to enable clear programs on both a small...
-
ALGOL 60
- Referenced in 661 articles
[sw21807]
- ALGOL family of computer programming languages. It followed on from ALGOL 58 which had introduced ... gave rise to many other programming languages, including CPL, Simula, BCPL, B, Pascal...
-
Haskell
- Referenced in 843 articles
[sw03521]
- standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing...
-
ML
- Referenced in 514 articles
[sw01218]
- Language’) is a general-purpose functional programming language. It has roots in Lisp ... formal proof that a well-typed ML program does not cause runtime type errors ... currying. It is used heavily in programming language research...
-
CoCoA
- Referenced in 621 articles
[sw00143]
- enhanced by the dedicated high-level programming language. For convenience, the system offers a textual...
-
Turbo Pascal
- Referenced in 363 articles
[sw16451]
- development environment (IDE) for the Pascal programming language running on CP/M, CP/M-86, and DOS, developed ... Borland’s dialect of the Pascal programming language, significantly different from Standard Pascal. Borland...
-
ALGOL 68
- Referenced in 291 articles
[sw01226]
- 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 ... they had reappeared in subsequently developed programming languages...
-
Ox
- Referenced in 459 articles
[sw09501]
- object-oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices ... well-designed syntax, which leads to programs which are easier to maintain. For a first...
-
NAG
- Referenced in 417 articles
[sw00610]
- available for use with many programming languages and for many platforms and operating systems...
-
Ada95
- Referenced in 286 articles
[sw01753]
- object-oriented high-level computer programming language, extended from Pascal and other languages ... built-in language support for explicit concurrency, offering tasks, synchronous message passing, protected objects ... supersede the hundreds of programming languages then used by the DoD. Ada was named after...
-
MATCONT
- Referenced in 362 articles
[sw00551]
- written in a relatively low-level programming language, so it is hard to extend...
-
Eiffel
- Referenced in 290 articles
[sw03522]
- standardized, object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author ... design of the language is closely connected with the Eiffel programming method. Both are based ... their way into Java, C#, and other languages. New language design ideas, particularly through...
-
nag
- Referenced in 311 articles
[sw06239]
- including MATLAB® and usable from many programming languages...
-
Visual Basic
- Referenced in 298 articles
[sw03518]
- third-generation event-driven programming language and integrated development environment (IDE) from Microsoft...
-
Concorde
- Referenced in 302 articles
[sw04770]
- written in the ANSI C programming language and it is available for academic research ... Concorde functions are thread-safe for programming in shared-memory parallel environments; the main...