
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 highperformance 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 highlevel 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 proofcarryingcode 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 wellsuited ... programming reactive systems, including realtime systems and control automata. The Esterel v5 compiler ... their input languages for their hardware/software codesign 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]
 stateoftheart interactive theorem proving systems and an appropriate level of abstraction ... userlevel 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 Clike programming language, SINGULAR’s internal functionality is augmented...

OCaml
 Referenced in 271 articles
[sw06363]
 language with a fullyfledged objectoriented layer, as well as a powerful module system ... inference. The OCaml system is an industrialstrength implementation of this language, featuring a high...

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