
sbw
 Referenced in 13 articles
[sw21948]
 welldefined 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 conflictdriven 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 spin0 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 specialpurpose 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 Maplebased “GeM...