
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 conflictdriven 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 entityrelationship...

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

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