• Matlab

• Referenced in 13702 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 5403 articles [sw00545]
• Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...

• GAP

• Referenced in 3221 articles [sw00320]
• Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing...

• Python

• Referenced in 2164 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...

• SINGULAR

• Referenced in 1522 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 1906 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...

• ALGOL 60

• Referenced in 669 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 885 articles [sw03521]
• standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing...

• ML

• Referenced in 524 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 659 articles [sw00143]
• enhanced by the dedicated high-level programming language. For convenience, the system offers a textual...

• Julia

• Referenced in 490 articles [sw13986]
• This paper presents Julia, a new dynamic language for technical computing, designed for performance from ... beginning by adapting and extending modern programming language techniques. A design based on generic functions ... rich type system simultaneously enables an expressive programming model and successful type inference, leading...

• Turbo Pascal

• Referenced in 366 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...

• Ox

• Referenced in 493 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...

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

• MATCONT

• Referenced in 455 articles [sw00551]
• written in a relatively low-level programming language, so it is hard to extend...

• NAG

• Referenced in 425 articles [sw00610]
• available for use with many programming languages and for many platforms and operating systems...

• Ada95

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

• Bioconductor

• Referenced in 328 articles [sw04205]
• data. Bioconductor uses the R statistical programming language, and is open source and open development...

• Concorde

• Referenced in 319 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...

• Eiffel

• Referenced in 289 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...