• 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 244 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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