• SDPT3

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

• BARON

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

• Biq Mac

• Referenced in 51 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 11 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 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...

• sbw

• Referenced in 2 articles [sw21948]
• well-defined convex optimization problem, duality theory provides insight into the behavior of the variance...

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

• 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 48 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 274 articles [sw00118]
• The goal of the CGAL Open Source Project...

• CoCoA

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