• SDPT3

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

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

  • Referenced in 36 articles [sw10532]
  • bounding procedure. This approach uses Lagrangian duality to obtain a “nearly optimal” solution...
  • quivermutation

  • Referenced in 24 articles [sw13691]
  • subjects in mathematics and to Seiberg duality in physics, cf. for example section 6, page...
  • alphahull

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

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

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

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

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

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

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

  • Referenced in 201 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • FGb

  • Referenced in 212 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...