
FLO
 Referenced in 2 articles
[sw12272]
 Project Facility Location Optimizer (Project FLO) is a research project created at the Institute ... different distance concepts (norms and polyhedral gauges). Solving planar multiobjective location problems with respect ... solution concepts of the theory of multiobjective optimization (e.g. concept of EdgeworthPareto efficiency). Solving ... used through the definition of polyhedral gauges. Loading of actual map images in the background...

accuracy
 Referenced in 2 articles
[sw25836]
 gauging the computational stability of model results, tools for comparing model results, optimization diagnostics...

SUSYGEN
 Referenced in 6 articles
[sw10782]
 breaking: gravity mediated supersymmetry breaking (SUGRA), and gauge mediated supersymmetry breaking (GMSB). The program incorporates ... structure function formalism, and an optimized hadronization interface to JETSET 7.4 including final state radiation...

Dalton
 Referenced in 2 articles
[sw33911]
 gradients and Hessians are available for geometry optimizations, molecular dynamics, and vibrational studies, whereas magnetic ... optical activity can be studied in a gaugeorigininvariant manner. Frequencydependent molecular properties...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

CASA
 Referenced in 101 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CoCoA
 Referenced in 637 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1835 articles
[sw00161]
 Coq is a formal proof management system. It...

Cuba
 Referenced in 61 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

EIGIFP
 Referenced in 43 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

GAP
 Referenced in 2974 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GeM
 Referenced in 95 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

GRTensorII
 Referenced in 48 articles
[sw00393]
 GRTensor II is a computer algebra package for...

HOM4PS
 Referenced in 77 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1758 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3052 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5199 articles
[sw00545]
 The result of over 30 years of cutting...