
Matlab
 Referenced in 6539 articles
[sw00558]
 interactive environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop ... language, tools, and builtin math functions enable you to explore multiple approaches and reach ... solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java...

SINGULAR
 Referenced in 923 articles
[sw00866]
 like programming language, SINGULAR’s internal functionality is augmented and userextendible by libraries written ... SINGULAR programming language. A general and efficient implementation of communication links ... allows SINGULAR to make its functionality available to other programs...

GAP
 Referenced in 1672 articles
[sw00320]
 provides a programming language, a library of thousands of functions implementing algebraic algorithms written...

Haskell
 Referenced in 379 articles
[sw03521]
 standardized, generalpurpose purely functional programming language, with nonstrict semantics and strong static typing...

REDUCE
 Referenced in 636 articles
[sw00789]
 arithmetic; facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization ... numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac matrix...

Maple
 Referenced in 3846 articles
[sw00545]
 solve mathematical problems. With over 5000 functions, Maple offers the breadth, depth, and performance ... from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...

Python
 Referenced in 239 articles
[sw14460]
 paradigms, including objectoriented, imperative and functional programming or procedural styles. It features a dynamic...

TETRAD
 Referenced in 233 articles
[sw12177]
 intended to replace flexible statistical programming systems such as Matlab, Splus or R. Tetrad ... that performs many of the functions in commercial programs such as Netica, Hugin, LISREL ... other programs, and many discovery functions these commercial programs do not perform. Tetrad is unique...

Miranda
 Referenced in 138 articles
[sw04986]
 fruitful research into the nature of functional programming. Although there are still many important questions ... documented programming languages. Miranda is a functional programming language which has been developed with this...

MINOS
 Referenced in 409 articles
[sw05095]
 sparse linear and nonlinear programs. The objective function and constraints may be linear or nonlinear...

CPLEX
 Referenced in 1719 articles
[sw04082]
 Python libraries that solve linear programming (LP) and related problems. Specifically, it solves linearly ... optimized can be expressed as a linear function or a convex quadratic function. The variables...

MACSYMA
 Referenced in 667 articles
[sw01209]
 function), or to perform very complicated computations by means of a large Macsyma program. Macsyma...

Agda
 Referenced in 93 articles
[sw09689]
 Agda is a dependently typed functional programming language: It has inductive families, which are similar...

Genocop
 Referenced in 878 articles
[sw04707]
 Zbigniew Michalewicz, is a genetic algorithmbased program for constrained and unconstrained optimization, written ... input parameters) of a function; additional linear constraints (equations and inequalities) can be specified ... preferably on a Sun SPARC machine). This program can also...

ELAN
 Referenced in 84 articles
[sw02179]
 support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... studying their combination. ELAN takes from functional programming the concept of abstract data types...

BABEL
 Referenced in 65 articles
[sw03018]
 Logic programming with functions and predicates: The language BABEL. We investigate the experimental programming language ... BABEL, designed to achieve integration of functional programming (as embodied in HOPE, Standard ... MIRANDA) and logic programming (as embodied in PROLOG) in a simple, flexible, and mathematically well ... combines pure PROLOG with a first order functional notation. On the other side, the language...

Ox
 Referenced in 202 articles
[sw09501]
 objectoriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices ... welldesigned syntax, which leads to programs which are easier to maintain. For a first ... impression of the matrix and statistical function library see the Function summary. Versions...

LiE
 Referenced in 114 articles
[sw01075]
 programming language makes it possible to customise and extend the package with more mathematical functions ... given that involve basic programming primitives and powerful builtin functions. These commands are read ... This core consists of programs representing some 100 mathematical functions. The interpreter offers online...

Pesca
 Referenced in 71 articles
[sw13664]
 Editor for Sequent Calculus: Pesca is a program that helps in the construction of proofs ... Pesca is written in the functional programming language Haskell...

QuickCheck
 Referenced in 60 articles
[sw07277]
 testing properties of programs. Properties are discribed as Haskell functions, and can be automatically tested ... Random testing is especially suitable for functional programs because properties can be stated...