• BARON

  • Referenced in 252 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • C-XSC

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

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

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

  • Referenced in 35 articles [sw06724]
  • GlobSol: history, composition, and advice on use The...
  • PASCAL-XSC

  • Referenced in 94 articles [sw18863]
  • PASCAL-XSC: PASCAL for Extended Scientific Computing. The...
  • Numerica

  • Referenced in 43 articles [sw21227]
  • Numerica: A modeling language for global optimization. Many...