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

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

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

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

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