• Matlab

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

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

  • Referenced in 1201 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 1536 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 916 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...
  • Haskell

  • Referenced in 733 articles [sw03521]
  • standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing...
  • ML

  • Referenced in 479 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...
  • ALGOL 60

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

  • Referenced in 564 articles [sw00143]
  • enhanced by the dedicated high-level programming language. For convenience, the system offers a textual...
  • Turbo Pascal

  • Referenced in 362 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 260 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 379 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 340 articles [sw00610]
  • available for use with many programming languages and for many platforms and operating systems...
  • Visual Basic

  • Referenced in 295 articles [sw03518]
  • third-generation event-driven programming language and integrated development environment (IDE) from Microsoft...
  • nag

  • Referenced in 283 articles [sw06239]
  • including MATLAB® and usable from many programming languages...
  • Datalog

  • Referenced in 271 articles [sw20023]
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog ... often used as a query language for deductive databases. In recent years, Datalog has found ... application in data integration, information extraction, networking, program analysis, security, and cloud computing...
  • Concorde

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

  • Referenced in 256 articles [sw00060]
  • ACL2 is both a programming language in which you can model computer systems...
  • MATCONT

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