
LIFT
 Referenced in 3 articles
[sw25813]
 LIFT: A nested decomposition algorithm for solving lower block triangular linear programs. The lower block ... structure is typical of time phased linear programs with multiple lags in the variables ... algorithm (LIFT) has been developed based on stateoftheart modular linear programming software ... discuss several computational strategies currently available in LIFT. Preliminary computational experience with large...

W12SC3
 Referenced in 1 article
[sw19876]
 programs use the Super Critical Conical Camber (SC3) concept, in which high supersonic lift coefficients ... linear theory panel methods to compute solutions for a wingbody configuration. The programs ... that develops on supersonic wings with high lift coefficients at Mach numbers normal to shock ... vortex panel singularity distributions for calculating the linear theory estimate of the configuration aerodynamics...

AVL
 Referenced in 2 articles
[sw19860]
 program for the aerodynamic and flightdynamic analysis of rigid aircraft of arbitrary configuration ... extended vortex lattice model for the lifting surfaces, together with a slenderbody model ... flight dynamic analysis combines a full linearization of the aerodynamic model about any flight state...

PolySCIP
 Referenced in 2 articles
[sw15158]
 integer as well as multicriteria linear programs handling an arbitrary number of objectives ... commercial constraint integer programming framework SCIP. It utilizes a lifted weight space approach to compute...

COREL
 Referenced in 1 article
[sw19875]
 programs use the Super Critical Conical Camber (SC3) concept, in which high supersonic lift coefficients ... linear theory panel methods to compute solutions for a wingbody configuration. The programs ... that develops on supersonic wings with high lift coefficients at Mach numbers normal to shock...

Xeggora
 Referenced in 2 articles
[sw35050]
 perform inference through translation to Integer Linear Programs. Aggregation exploits contextspecific symmetries independently ... evidence and reduces the size of the program. We illustrate much more symmetries occurring ... which exploits the ignored symmetries via a lifted translation method and some constraint relaxations. RDBMS...

Flutter
 Referenced in 4 articles
[sw19883]
 which may be evaluated from any suitable linear or nonlinear steadyflow theory or from ... summarized as follows: Variable section liftcurve slope and aerodynamic center are substituted respectively ... practical to include in the digital computing program a very brief logical subroutine, which automatically...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

Apron
 Referenced in 71 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

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

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

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

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

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

KANT/KASH
 Referenced in 157 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

KNITRO
 Referenced in 200 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

Kronecker
 Referenced in 119 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...