
Matlab
 Referenced in 12309 articles
[sw00558]
 interactive environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop ... solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java...

Maple
 Referenced in 5124 articles
[sw00545]
 from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...

OEIS
 Referenced in 3479 articles
[sw07248]
 Knuth, ”The Art of Computer Programming”, where you find your algorithm described. The entry even...

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

Python
 Referenced in 1486 articles
[sw14460]
 used highlevel, generalpurpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability ... language provides constructs intended to enable clear programs on both a small and large scale ... Python supports multiple programming paradigms, including objectoriented, imperative and functional programming or procedural styles ... packaged into standalone executable programs for some of the most popular operating systems, allowing...

CPLEX
 Referenced in 2583 articles
[sw04082]
 Python libraries that solve linear programming (LP) and related problems. Specifically, it solves linearly...

SINGULAR
 Referenced in 1408 articles
[sw00866]
 interactive shell and a Clike programming language, SINGULAR’s internal functionality is augmented ... extendible by libraries written in the SINGULAR programming language. A general and efficient implementation ... make its functionality available to other programs...

YALMIP
 Referenced in 937 articles
[sw04595]
 control community and focused on semidefinite programming, but the latest release extends this scope significantly ... YALMIP 3 can be used for linear programming, quadratic programming, second order cone programming, semidefinite ... programming, nonconvex semidefinite programming, mixed integer programming, multiparametric programming, geometric programming The main...

Coq
 Referenced in 1807 articles
[sw00161]
 proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification...

PETSc
 Referenced in 1182 articles
[sw04012]
 problem. By using techniques of objectoriented programming, PETSc provides enormous ﬂexibility for users. PETSc ... individuals without some computer science background, experience programming in C, C++ or Fortran and experience...

Genocop
 Referenced in 1081 articles
[sw04707]
 Zbigniew Michalewicz, is a genetic algorithmbased program for constrained and unconstrained optimization, written ... preferably on a Sun SPARC machine). This program can also...

CVX
 Referenced in 720 articles
[sw04594]
 system for constructing and solving disciplined convex programs (DCPs). CVX supports a number of standard ... problem types, including linear and quadratic programs (LPs/QPs), secondorder cone programs (SOCPs), and semidefinite ... programs (SDPs). CVX can also solve much more complex convex optimization problems, including many involving ... maximization, determinant maximization, and many other convex programs. As of version 2.0, CVX also solves...

CUDA
 Referenced in 1207 articles
[sw03258]
 your applications. You’ll also find programming guides, user manuals, API reference, and other documentation...

C4.5
 Referenced in 1127 articles
[sw12176]
 C4.5: programs for machine learning. (C4.5 has been superseded by C5.0...

deal.ii
 Referenced in 560 articles
[sw03516]
 deal.II is a C++ program library targeted at the computational solution of partial differential equations ... elements. It uses stateoftheart programming techniques to offer you a modern interface ... tools classes often used in finite element program. Writing such programs is a nontrivial ... task, and successful programs tend to become very large and complex. We believe that this...

FreeFem++
 Referenced in 1063 articles
[sw01436]
 several meshes and their manipulation within one program. FreeFem++ includes a fast 2^dtree...

Gurobi
 Referenced in 530 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming Solver. The Gurobi Optimizer is a state ... solver for mathematical programming. It includes the following solvers: linear programming solver (LP), quadratic programming ... solver (QP), quadratically constrained programming solver (QCP), mixedinteger linear programming solver (MILP), mixedinteger ... quadratic programming solver (MIQP), and mixedinteger quadratically constrained programming solver (MIQCP). The solvers...

REDUCE
 Referenced in 740 articles
[sw00789]
 facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization ... formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety...

MACSYMA
 Referenced in 716 articles
[sw01209]
 computations by means of a large Macsyma program. Macsyma offers: symbolic and numeric manipulation ... quality graphics interactive scientific notebooks a user programming environment...

LINDO
 Referenced in 539 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming, Nonlinear Programming, Stochastic Programming, Global Optimization LINDO ... Application Programming Interface (LINDO...