
Lp spaces
 Referenced in 1 article
[sw28533]
 Hölder and Minkowski inequalities, completeness of Lp, duality, stability under almost sure convergence, multiplication...

IMP+Exc
 Referenced in 1 article
[sw28535]
 exception effects first separately, exploiting a nice duality between them, and then combined. The combined...

SVRAMA
 Referenced in 1 article
[sw29521]
 versions of the ProxSVRG (and, by duality, of SVRAMA) are also provided...

sessionocaml
 Referenced in 1 article
[sw32937]
 types, which give an alternative formulation of duality enabling OCaml to automatically infer an appropriate...

OrientedSwaps
 Referenced in 1 article
[sw35044]
 percolation times to its dual, using the duality between the RobinsonSchenstedKnuth and Burge...

DSLib
 Referenced in 1 article
[sw35560]
 M.Pelillo, PAMI 2007) and, thanks to its duality with game theory, has been explored...

MultiFans
 Referenced in 1 article
[sw35690]
 Hilbert series of multifan duality algebra...

GSVD
 Referenced in 1 article
[sw35769]
 singular value decomposition (GSVD, a.k.a. ”SVD triplet”, ”duality diagram” approach) provides a unified strategy...

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

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

CASA
 Referenced in 99 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CCSP
 Referenced in 14 articles
[sw00111]
 CCSP: A formal system for distributed program debugging...

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

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

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

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

Cuba
 Referenced in 60 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

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

EIGIFP
 Referenced in 42 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

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