• MOLFP

  • Referenced in 19 articles [sw02999]
  • weighted sum of the objective functions in multiple objective linear fractional programming (MOLFP). The basic ... proved that the maximum of the weighted sum is in the other. The process...
  • DINAMelt

  • Referenced in 12 articles [sw36131]
  • molecular species, free energies are computed by summing Boltzmann factors over every possible hybridized ... user-specified range, calculations predict species mole fractions together with the free energy, enthalpy, entropy...
  • BARON

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

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

  • Referenced in 80 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • Coq

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

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • DEA

  • Referenced in 242 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Diffpack

  • Referenced in 114 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • GAP

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

  • Referenced in 134 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

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

  • Referenced in 27 articles [sw00420]
  • HURRY: An acceleration algorithm for scalar sequences and...
  • HYPERG

  • Referenced in 5 articles [sw00423]
  • HYPERG: a Maple package for manipulating hypergeometric series...
  • Hypexp

  • Referenced in 58 articles [sw00425]
  • HypExp 2, Expanding hypergeometric functions about half-integer...
  • KNITRO

  • Referenced in 180 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LANCELOT

  • Referenced in 302 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1647 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LiDIA

  • Referenced in 52 articles [sw00518]
  • LiDIA: A library for computational number theory. LiDIA...