• BARON

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

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Matlab

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

  • Referenced in 30 articles [sw01081]
  • SIMSCRIPT. A simulation programming language. SIMSCRIPT is a...
  • MSLiP

  • Referenced in 109 articles [sw01410]
  • MSLiP: A computer code for the multistage stochastic...
  • CONOPT

  • Referenced in 163 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • BLAS

  • Referenced in 485 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • SeDuMi

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

  • Referenced in 630 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

  • Referenced in 3100 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

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

  • Referenced in 90 articles [sw04214]
  • TOMLAB is a general purpose development and modeling...
  • LINDO

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

  • Referenced in 720 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • Genocop

  • Referenced in 1081 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • MINLP

  • Referenced in 49 articles [sw04800]
  • MINLP World is a forum for discussion and...
  • GAMS

  • Referenced in 842 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • MINOS

  • Referenced in 442 articles [sw05095]
  • MINOS is a large-scale optimization system, for...