• 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]
• dual-conformally invariant formulae for all two-loop 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 non-solvable...

• StrongExcCollsMaxFourfolds

• Referenced in 1 article [sw19280]
• fourfolds. Under every torus-invariant divisorial contraction from these birationally maximal fourfolds...

• 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: Variance-Invariance-Covariance Regularization for Self-Supervised Learning. Recent self-supervised methods for image ... representation learning are based on maximizing the agreement between embedding vectors from different views ... this paper, we introduce VICReg (Variance-Invariance-Covariance 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...

• MC-TESTER

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

• ADOL-C

• Referenced in 257 articles [sw00019]
• ADOL-C: 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...

• C-XSC

• Referenced in 110 articles [sw00181]
• C-XSC. A programming environment for verified scientific...

• C-XSC 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...