• LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SeDuMi

  • Referenced in 1284 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • TetGen

  • Referenced in 185 articles [sw04046]
  • TetGen, a Delaunay-Based Quality Tetrahedral Mesh Generator...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • Gurobi

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • LINPACK

  • Referenced in 525 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • LINDO

  • Referenced in 557 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • WinBUGS

  • Referenced in 773 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...
  • YALMIP

  • Referenced in 1063 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Knapsack

  • Referenced in 511 articles [sw04723]
  • Knapsack problems are the simplest NP-hard problems...
  • Bonmin

  • Referenced in 214 articles [sw04766]
  • An algorithmic framework for convex mixed integer nonlinear...
  • Concorde

  • Referenced in 319 articles [sw04770]
  • Concorde is a computer code for the symmetric...
  • FEASPUMP

  • Referenced in 133 articles [sw04802]
  • Feasibility pump 2.0. Finding a feasible solution of...