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

ALADINNH
 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...

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...

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...

FastCertRelPose
 Referenced in 1 article
[sw40676]
 graduated nonconvexity and the BlackRangarajan 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 specialpurpose 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...