• BARON

  • Referenced in 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

  • Referenced in 110 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 360 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

  • Referenced in 273 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • SPG

  • Referenced in 70 articles [sw00897]
  • Algorithm 813: SPG -- software for convex-constrained optimization...
  • SNOPT

  • Referenced in 518 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • L-BFGS

  • Referenced in 735 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • SDPA

  • Referenced in 173 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...
  • AMPL

  • Referenced in 590 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • SeDuMi

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

  • Referenced in 2583 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

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

  • Referenced in 304 articles [sw04419]
  • The convex hull of a point set P...
  • LINDO

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