• MULTI-HOPE

  • Referenced in 7 articles [sw01334]
  • distance is dependent on the layout plan used for the facility. Because it is relatively ... change the demand patterns, and hence the mix and volume of products, the primary focus ... handling costs. The limitations of available horizontal space create a need to explore vertical expansion...
  • ADOL-C

  • Referenced in 247 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

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

  • Referenced in 113 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 275 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

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

  • Referenced in 1677 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 262 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LGO

  • Referenced in 95 articles [sw00516]
  • The program system LGO serves to solve global...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 257 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6235 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 421 articles [sw00610]
  • Produced by experts for use in a variety...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • Paramils

  • Referenced in 76 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...