• RealPaver

  • Referenced in 50 articles [sw04401]
  • usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers the solution ... along with modeling and solving problems. A mathematical modeling language and a set of benchmarks...
  • BARON

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

  • Referenced in 29 articles [sw00444]
  • Algorithm 737: INTLIB - a portable Fortran 77 interval...
  • SPSS

  • Referenced in 418 articles [sw04269]
  • SPSS is a computer program used for survey...
  • Slatec

  • Referenced in 32 articles [sw04367]
  • The SLATEC Common Mathematical Subroutine Library is an...
  • INTOPT_90

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

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

  • Referenced in 86 articles [sw07711]
  • COSY is a system for the use of...
  • Numerica

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