
AutoGraphiX
 Referenced in 142 articles
[sw06137]
 graphs, i.e., graphs minimizing of maximizing a graph invariant (or a function of graph invariants...

two loop amplitudes
 Referenced in 25 articles
[sw25063]
 dualconformally invariant formulae for all twoloop scattering amplitudes in planar, maximally supersymmetric Yang...

SCOTS
 Referenced in 20 articles
[sw20172]
 maximal fixed points and thus natively provides algorithms to synthesize controllers with respect to invariance...

Bellerophon
 Referenced in 4 articles
[sw23943]
 discovering and establishing invariants of nonlinear continuous systems, arithmetic simplifications to maximize the benefit ... verification effort exploiting Bellerophon’s support for invariant and arithmetic reasoning for a nonsolvable...

VS3
 Referenced in 2 articles
[sw19492]
 maximally strong postconditions by leveraging the power of SMT solvers. VS3 discovers program invariants with...

GraphEBM
 Referenced in 1 article
[sw37859]
 permutation invariant. We apply Langevin dynamics to train the energy function by approximately maximizing likelihood...

VICReg
 Referenced in 1 article
[sw39717]
 VICReg: VarianceInvarianceCovariance Regularization for SelfSupervised Learning. Recent selfsupervised methods for image ... representation learning are based on maximizing the agreement between embedding vectors from different views ... this paper, we introduce VICReg (VarianceInvarianceCovariance Regularization), a method that explicitly avoids...

vgit
 Referenced in 4 articles
[sw30128]
 study of variations of Geometric Invariant Theory (GIT) quotients of pairs formed by a hypersurface ... prospective chamber and wall it finds all maximal orbits of non stable and strictly semistable ... found at the article ”Variations of geometric invariant quotients for pairs, a computational approach...

MCTESTER
 Referenced in 2 articles
[sw00564]
 both runs. Histograms of all scalar Lorentzinvariant masses constructed from the decay products ... distributions is calculated and its maximal value over all histograms for each decay channel...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...