
Matlab
 Referenced in 12661 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 5201 articles
[sw00545]
 from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...

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

Python
 Referenced in 1706 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...

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

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

SINGULAR
 Referenced in 1441 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 970 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 1835 articles
[sw00161]
 proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification...

PETSc
 Referenced in 1228 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 1089 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 752 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 1232 articles
[sw03258]
 your applications. You’ll also find programming guides, user manuals, API reference, and other documentation...

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

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

Gurobi
 Referenced in 572 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...

deal.ii
 Referenced in 574 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...

REDUCE
 Referenced in 742 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 546 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming, Nonlinear Programming, Stochastic Programming, Global Optimization LINDO ... Application Programming Interface (LINDO...