• 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 Edgeworth-Pareto 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 gauge-origin-invariant manner. Frequency-dependent molecular properties...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: 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 special-purpose 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 Maple-based “GeM...
  • 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 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...