• 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...
  • SVR-AMA

  • Referenced in 1 article [sw29521]
  • versions of the Prox-SVRG (and, by duality, of SVR-AMA) are also provided...
  • session-ocaml

  • 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 Robinson-Schensted-Knuth and Burge...
  • DSLib

  • Referenced in 1 article [sw35560]
  • M.Pelillo, PAMI 2007) and, thanks to its duality with game theory, has been explored...
  • 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 special-purpose 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...