• OrientedSwaps

  • Referenced in 2 articles [sw35044]
  • percolation times to its dual, using the duality between the Robinson-Schensted-Knuth and Burge...
  • ALADIN-NH

  • Referenced in 1 article [sw19931]
  • Arome and Alaro models. The duality between ARPEGE (global with the possibility of variable resolution...
  • 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...
  • 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...
  • FastCertRelPose

  • Referenced in 1 article [sw40676]
  • graduated non-convexity and the Black-Rangarajan duality between robust functions and line processes...
  • Transformer semantics

  • Referenced in 1 article [sw42013]
  • Moore algebras, with emphasis on adjunctions and dualities, as well as isomorphisms between relations, state...
  • pyADCG

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

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

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

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

  • Referenced in 9 articles [sw00153]
  • Dies ist eine (Kurz-)Bbeschreibung des Programmes ConImp...
  • Coq

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