• sbw

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

• CalCS

• Referenced in 7 articles [sw13098]
• lazy combination of SAT and a theory solver. A key step in our algorithm ... complementary slackness and duality theory to generate succinct infeasibility proofs that support conflict-driven learning...

• DSLib

• Referenced in 1 article [sw35560]
• clustering technique rooted in the evolutionary game theory that starts gaining lots of interests ... thanks to its duality with game theory, has been explored in many directions not only...

• RTNI

• Referenced in 4 articles [sw28081]
• tool on some examples from quantum information theory, including entropy calculations for random tensor network ... considered in toy models for holographic duality. Mathematica and Python implementations are supplied...

• Adinkra.m

• Referenced in 2 articles [sw29074]
• duality transformation to be applied to one of its spin-0 states. The resulting theory...

• Lp spaces

• Referenced in 1 article [sw28533]
• this framework using the existing integration theory in Isabelle/HOL. Our development contains most fundamental properties ... Hölder and Minkowski inequalities, completeness of Lp, duality, stability under almost sure convergence, multiplication...

• LEON

• Referenced in 2 articles [sw11425]
• landmarks of the modern theory of partial differential equations is the Malgrange- Ehrenpreis theorem that ... first one is Ehrenpreis- style, using duality, and the second one is constructive, using formal...

• BARON

• Referenced in 354 articles [sw00066]
• BARON is a computational system for solving nonconvex...

• Cadabra

• Referenced in 91 articles [sw00097]
• Cadabra is a powerful computer program for the...

• CASA

• Referenced in 105 articles [sw00108]
• CASA is a special-purpose system for computational...

• CGAL

• Referenced in 384 articles [sw00118]
• The goal of the CGAL Open Source Project...

• CoCoA

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

• Coq

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

• CSDP

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

• Cuba

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

• DEA

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

• EIGIFP

• Referenced in 46 articles [sw00235]
• eigifp is a MATLAB program for computing a...

• FGb

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

• GAP

• Referenced in 3154 articles [sw00320]
• GAP is a system for computational discrete algebra...

• GeM

• Referenced in 97 articles [sw00332]
• We present a recently developed Maple-based “GeM...