• Matlab

  • Referenced in 12309 articles [sw00558]
  • interactive environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop ... language, tools, and built-in 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...
  • Python

  • Referenced in 1486 articles [sw14460]
  • paradigms, including object-oriented, imperative and functional programming or procedural styles. It features a dynamic...
  • SINGULAR

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

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

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

  • Referenced in 517 articles [sw01218]
  • Meta Language’) is a general-purpose functional programming language. It has roots in Lisp ... provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying...
  • REDUCE

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

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

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

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

  • Referenced in 152 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 442 articles [sw05095]
  • sparse linear and nonlinear programs. The objective function and constraints may be linear or nonlinear...
  • Agda

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

  • Referenced in 461 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 ... impression of the matrix and statistical function library see the Function summary. Versions...
  • ALGOL 60

  • Referenced in 661 articles [sw21807]
  • member of the ALGOL family of computer programming languages. It followed on from ALGOL ... nested function definitions with lexical scope. It gave rise to many other programming languages, including...
  • Pesca

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

  • Referenced in 720 articles [sw04594]
  • second-order cone programs (SOCPs), and semidefinite programs (SDPs). CVX can also solve much more ... convex optimization problems, including many involving nondifferentiable functions, such as ℓ1 norms ... maximization, determinant maximization, and many other convex programs. As of version 2.0, CVX also solves...
  • Scala

  • Referenced in 85 articles [sw07180]
  • Scala. An introduction to object-functional programming. Scala is a highly expressive, concise and scalable ... exciting methodology known as object-functional programming. In this book, the authors show how Scala ... dual-object and functional-oriented natures combined at Scala’s core, and so write code...
  • ELAN

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

  • Referenced in 1081 articles [sw04707]
  • Zbigniew Michalewicz, is a genetic algorithm-based 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...