• NOMAD

  • Referenced in 108 articles [sw02916]
  • Algorithm 909: NOMAD: Nonlinear Optimization with the MADS...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • ELECTRE

  • Referenced in 130 articles [sw02971]
  • Electre Methods. Over the last three decades a...
  • DIRECT

  • Referenced in 66 articles [sw03054]
  • Design and implementation of a massively parallel version...
  • BLAS

  • Referenced in 500 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • L-BFGS

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

  • Referenced in 232 articles [sw03312]
  • The MPFR library is a C library for...
  • STAN

  • Referenced in 38 articles [sw03348]
  • STAN is a domain-independent planner developed within...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 884 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • AMPL

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

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

  • Referenced in 472 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • SDPT3

  • Referenced in 707 articles [sw04009]
  • This software is designed to solve conic programming...
  • Zimpl

  • Referenced in 34 articles [sw04064]
  • ZIMPL: Zuse Institut Mathematical Programming Language. Zimpl is...
  • MIPLIB

  • Referenced in 329 articles [sw04067]
  • A mixed integer (linear) program (mip) is an...
  • CPLEX

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