-
SDPT3
- Referenced in 462 articles
[sw04009]
- least 10−6 in relative duality gap and infeasibilities...
-
BARON
- Referenced in 240 articles
[sw00066]
- combining constraint propagation, interval analysis, and duality in its reduce arsenal with enhanced branch...
-
Biq Mac
- Referenced in 44 articles
[sw10532]
- bounding procedure. This approach uses Lagrangian duality to obtain a “nearly optimal” solution...
-
quivermutation
- Referenced in 26 articles
[sw13691]
- subjects in mathematics and to Seiberg duality in physics, cf. for example section 6, page...
-
alphahull
- Referenced in 8 articles
[sw07945]
- points. The programming is based on the duality between the Voronoi diagram and Delaunay triangulation...
-
QPBOX
- Referenced in 6 articles
[sw04799]
- dual problem is derived using Lagrange duality. The dual problem is the minimization...
-
Polyhedra
- Referenced in 5 articles
[sw12128]
- fans. Many standard operations, such as intersections, duality, convex hulls, and calculation of Hilbert bases...
-
CalCS
- Referenced in 3 articles
[sw13098]
- complementary slackness and duality theory to generate succinct infeasibility proofs that support conflict-driven learning...
-
Ciao
- Referenced in 2 articles
[sw16985]
- architecture style called Aero, which exploits the duality between a class of entity-relationship...
-
MIQCR-CB
- Referenced in 2 articles
[sw21604]
- subgradient algorithm within a Lagrangian duality framework for solving (SDP) that substantially speeds...
-
LEON
- Referenced in 1 article
[sw11425]
- first one is Ehrenpreis- style, using duality, and the second one is constructive, using formal...
-
ALADIN-NH
- Referenced in 1 article
[sw19931]
- Arome and Alaro models. The duality between ARPEGE (global with the possibility of variable resolution...
-
Chordality
- Referenced in 1 article
[sw20560]
- turns out that, by using Alexander duality, the algebraic mechanism behind chordal graphs is quite...
-
sbw
- Referenced in 1 article
[sw21948]
- well-defined convex optimization problem, duality theory provides insight into the behavior of the variance...
-
rlsm
- Referenced in 1 article
[sw22733]
- bounds for the true value function via duality methods...
-
pyADCG
- Referenced in 0 articles
[sw15157]
- shown by using the fact that the duality gap of a general nonconvex projection problem...
-
Cadabra
- Referenced in 40 articles
[sw00097]
- Cadabra is a powerful computer program for the...
-
CCSP
- Referenced in 14 articles
[sw00111]
- CCSP: A formal system for distributed program debugging...
-
CGAL
- Referenced in 267 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
CoCoA
- Referenced in 537 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...