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

FFLASFFPACK
 Referenced in 23 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

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

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