• Matlab

  • Referenced in 11649 articles [sw00558]
  • faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... communications, image and video processing, control systems, test and measurement, computational finance, and computational biology ... industry and academia use MATLAB, the language of technical computing...
  • Coq

  • Referenced in 1758 articles [sw00161]
  • formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms...
  • Maude

  • Referenced in 656 articles [sw06233]
  • Maude is a high-performance reflective language and system supporting both equational and rewriting logic ... influenced in important ways by the OBJ3 language, which can be regarded as an equational...
  • GAP

  • Referenced in 2735 articles [sw00320]
  • system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... programming language, a library of thousands of functions implementing algebraic algorithms written ... language as well as large data libraries of algebraic objects. See also the overview ... spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely...
  • Magma

  • Referenced in 2747 articles [sw00540]
  • extensive documentation describing the features of the system. This handbook is available online. The documentation ... help introduce new users to the Magma language. Magma is distributed by the Computational Algebra...
  • Maple

  • Referenced in 4956 articles [sw00545]
  • Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided ... graphics, images, sound, and diagrams. Computer algebra system...
  • CoCoA

  • Referenced in 607 articles [sw00143]
  • CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple ... dedicated high-level programming language. For convenience, the system offers a textual interface, an Emacs...
  • Mizar

  • Referenced in 453 articles [sw04704]
  • only implementation of the Mizar Language. Originally, the Mizar system was implemented...
  • PVS

  • Referenced in 603 articles [sw03484]
  • verification system: that is, a specification language integrated with support tools and a theorem prover...
  • Twelf

  • Referenced in 169 articles [sw06888]
  • prove properties of deductive systems such as programming languages and logics. Large research projects using ... TALT typed assembly language, a foundational proof-carrying-code system, and a type safety proof...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • both a programming language, dedicated to programming reactive systems, and a compiler which translates Esterel ... family of synchronous languages, like SyncCharts, Lustre, Argos or Signal, which are particularly well-suited ... programming reactive systems, including real-time systems and control automata. The Esterel v5 compiler ... their input languages for their hardware/software co-design system...
  • Macaulay2

  • Referenced in 1585 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra ... through a versatile high level interpreted user language with a powerful debugger supporting the creation ... closure of rings, and more. Computer algebra system...
  • Python

  • Referenced in 1205 articles [sw14460]
  • languages such as C++ or Java. The language provides constructs intended to enable clear programs ... procedural styles. It features a dynamic type system and automatic memory management...
  • NAG

  • Referenced in 374 articles [sw00610]
  • with many programming languages and for many platforms and operating systems. For more specific product...
  • UNITY

  • Referenced in 173 articles [sw13461]
  • UNITY -- a computational model, specification language and proof system defined by Chandy and Misra...
  • Isar

  • Referenced in 138 articles [sw04599]
  • state-of-the-art interactive theorem proving systems and an appropriate level of abstraction ... user-level work. The Isar formal proof language has been designed to satisfy quite contradictory ... well. The Isabelle system offers Isar as an alternative proof language interface layer, beyond traditional ... Isabelle/Isar system provides an interpreter for the Isar formal proof document language. Isabelle/Isar input consists...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • specifying and prototyping deduction systems in a language based on rules controlled by strategies ... designer of an application. The strategy language offers primitives for sequential composition, iteration, deterministic ... deduction systems can be expressed and combined, and the evaluation mechanism of the language...
  • SINGULAR

  • Referenced in 1330 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry ... interactive shell and a C-like programming language, SINGULAR’s internal functionality is augmented...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • language with a fully-fledged object-oriented layer, as well as a powerful module system ... inference. The OCaml system is an industrial-strength implementation of this language, featuring a high...
  • MuPAD

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