• 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 high-level, general-purpose, 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 object-oriented, imperative and functional programming or procedural styles ... packaged into stand-alone 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 C-like 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, non-convex semidefinite programming, mixed integer programming, multi-parametric 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 object-oriented programming, PETSc provides enormous flexibility 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 algorithm-based 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), second-order 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^d-tree...
  • 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), mixed-integer linear programming solver (MILP), mixed-integer ... quadratic programming solver (MIQP), and mixed-integer 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 state-of-the-art programming techniques to offer you a modern interface ... tools classes often used in finite element program. Writing such programs is a non-trivial ... 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...