
MULTIHOPE
 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...

ADOLC
 Referenced in 247 articles
[sw00019]
 ADOLC: 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]
 HOM4PS2.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 highlevel language and interactive...

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

NetworkX
 Referenced in 141 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

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