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

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

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

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

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

SINGULAR
 Referenced in 1330 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...

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

YALMIP
 Referenced in 878 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...

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

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

REDUCE
 Referenced in 738 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 714 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...

deal.ii
 Referenced in 515 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 963 articles
[sw01436]
 several meshes and their manipulation within one program. FreeFem++ includes a fast 2^dtree...

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

Maude
 Referenced in 656 articles
[sw06233]
 both equational and rewriting logic specification and programming for a wide range of applications. Maude ... logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation...