• CUTEr

  • Referenced in 555 articles [sw04010]
  • data files is available as a separate package. Once translated, these files may be manipulated...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • principles, including design by contract, command-query separation, the uniform-access principle, the single-choice ... open-closed principle, and option-operand separation. Many concepts initially introduced by Eiffel later found...
  • Datalog

  • Referenced in 280 articles [sw20023]
  • programming, but it became prominent as a separate area around 1977 when Hervé Gallaire...
  • SifDec

  • Referenced in 199 articles [sw04087]
  • part of CUTE, has become a separate tool, easily callable by various packages. It features...
  • ve08

  • Referenced in 142 articles [sw05141]
  • unconstrained optimization of partially separable functions We consider the problem of minimizing a smooth objective ... large n if f has a certain separability structure. This structure is always implied...
  • AR face

  • Referenced in 178 articles [sw13806]
  • participants. Each person participated in two sessions, separated by two weeks (14 days) time...
  • FISHPAK

  • Referenced in 91 articles [sw08012]
  • Fortran subprograms for the solution of separable elliptic partial differential equations. FISHPACK contains a collection ... fourth-order finite difference approximations to separable elliptic Partial Differential Equations (PDEs). These include Helmholtz ... spherical coordinates, as well as more general separable elliptic equations. The solvers use the cyclic ... nonseparable elliptic PDEs, or a mix of separable and nonseparable ones, consider using the MUDPACK...
  • SOCS

  • Referenced in 121 articles [sw07737]
  • Company, contains two advanced software packages, available separately or together. Sparse Optimal Control Software (SOCS ... integral part of SOCS or as a separate package...
  • SuperLU

  • Referenced in 167 articles [sw00930]
  • routines. This preordering for sparsity is completely separate from the factorization. Working precision iterative refinement...
  • CVRPSP

  • Referenced in 112 articles [sw13447]
  • written in the C programming language, for separation of various classes of cuts in branch ... Mathematical Programming - see Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar...
  • Miranda

  • Referenced in 150 articles [sw04986]
  • library structure with type secure facilities for separate compilation and linking. The major part...
  • NPSOL

  • Referenced in 147 articles [sw07420]
  • linear constraints, and nonlinear constraints are treated separately. Hence it is especially effective...
  • LSODE

  • Referenced in 124 articles [sw04374]
  • some algorithmic improvements. LSODE is available in separate double and single precision versions, called DLSODE...
  • HOMPACK

  • Referenced in 119 articles [sw05324]
  • based, normal flow, and augmented Jacobian matrix. Separate routines are also provided for dense...
  • MONA

  • Referenced in 118 articles [sw06170]
  • quantify their respective effects by experimenting with separate versions of the MONA tool that...
  • PORTA

  • Referenced in 116 articles [sw04869]
  • system of linear inequalities can be done separately by using the function ’fmel...
  • ABACUS

  • Referenced in 115 articles [sw02948]
  • problem specific parts, i.e., the separation of cutting planes, column generation, and primal heuristics. ABACUS...
  • GloMIQO

  • Referenced in 67 articles [sw06266]
  • MIQCQP) include quality blending in process networks, separating objects in computational geometry, and portfolio optimization ... hybrid energy systems, heat exchanger networks, reactor-separator-recycle systems, separation systems, data reconciliation, batch...
  • ICALAB

  • Referenced in 107 articles [sw15047]
  • higher order statistics), BSS (blind source separation) employing SOS (second order statistics) and LP (linear...
  • Latent GOLD

  • Referenced in 90 articles [sw11673]
  • others. FM models seek to separate out or ’un-mix’ data that is assumed...