• C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 122 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • HOM4PS

  • Referenced in 70 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • INTBIS

  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package...
  • KNITRO

  • Referenced in 165 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • Matlab

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

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

  • Referenced in 5 articles [sw04620]
  • CTDSX--a collection of benchmark examples for state...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • COCONUT

  • Referenced in 38 articles [sw04760]
  • The COCONUT Environment is a modular solver environment...
  • Ipopt

  • Referenced in 589 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • mctoolbox

  • Referenced in 1352 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • minpack

  • Referenced in 677 articles [sw05310]
  • Notes on optimization software. This paper is an...
  • PNM

  • Referenced in 34 articles [sw05917]
  • Introduction to precise numerical methods. With CD-ROM...
  • PNEW

  • Referenced in 66 articles [sw06157]
  • Algorithm 811: NDA: algorithms for nondifferentiable optimization We...
  • libMC

  • Referenced in 40 articles [sw06615]
  • ibMC is an open source software library for...
  • GlobSol

  • Referenced in 38 articles [sw06724]
  • GlobSol: history, composition, and advice on use The...
  • alphaCertified

  • Referenced in 37 articles [sw07351]
  • Algorithm 921: alphaCertified: Certifying solutions to polynomial systems...