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