
SDPT3
 Referenced in 473 articles
[sw04009]
 least 10−6 in relative duality gap and infeasibilities...

BARON
 Referenced in 242 articles
[sw00066]
 combining constraint propagation, interval analysis, and duality in its reduce arsenal with enhanced branch...

Biq Mac
 Referenced in 46 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 9 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 6 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 conflictdriven learning...

Ciao
 Referenced in 2 articles
[sw16985]
 architecture style called Aero, which exploits the duality between a class of entityrelationship...

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

ALADINNH
 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]
 welldefined 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 41 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 270 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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