• SDPT3

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

• BARON

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

• Biq Mac

• Referenced in 38 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 4 articles [sw12128]
• fans. Many standard operations, such as intersections, duality, convex hulls, and calculation of Hilbert bases...

• CalCS

• Referenced in 2 articles [sw13098]
• complementary slackness and duality theory to generate succinct infeasibility proofs that support conflict-driven learning...

• LEON

• Referenced in 1 article [sw11425]
• first one is Ehrenpreis- style, using duality, and the second one is constructive, using formal...

• Ciao

• Referenced in 1 article [sw16985]
• architecture style called Aero, which exploits the duality between a class of entity-relationship...

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

• pyADCG

• Referenced in 0 articles [sw15157]
• shown by using the fact that the duality gap of a general nonconvex projection problem...

• Cadabra

• Referenced in 31 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 226 articles [sw00118]
• The goal of the CGAL Open Source Project...

• CoCoA

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

• Coq

• Referenced in 1139 articles [sw00161]
• Coq is a formal proof management system. It...

• CSDP

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

• Cuba

• Referenced in 27 articles [sw00173]
• Cuba -- a library for multidimensional numerical integration. The...