• OTTER

  • Referenced in 315 articles [sw02904]
  • algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...
  • Chroma

  • Referenced in 23 articles [sw07551]
  • supports data-parallel programming constructs for lattice field theory and in particular lattice...
  • OpenLB

  • Referenced in 24 articles [sw08549]
  • simple, implementing basic concepts of the lattice Boltzmann theory step-by-step. Thanks to this ... this is that the behavior of lattice sites can be modi ed during program execution...
  • IGLUE

  • Referenced in 4 articles [sw31671]
  • describe an IBL system over lattice theory called IGLUE that significantly improved both the complexity ... importance of instance-based learning through lattice theory...
  • CHEBINT

  • Referenced in 13 articles [sw06927]
  • that are based on the theory of Chebyshev lattices as introduced in [1]. The approximations...
  • SUSY LATTICE

  • Referenced in 4 articles [sw16830]
  • Parallel software for lattice 𝒩=4 supersymmetric Yang-Mills theory. We present new parallel software ... supersymmetric Yang-Mills theory with gauge group SU (N). The lattice action is constructed ... lattice QCD, and retains a similar large-scale framework despite the different target theory. Many ... basic workflow for non-experts in lattice gauge theory. We discuss the parallel performance...
  • PALP

  • Referenced in 70 articles [sw00672]
  • well as completion of the set of lattice points in the convex hull ... applications to toric geometry and string theory, like the computation of Hodge data and fibration...
  • ORPIT

  • Referenced in 2 articles [sw38073]
  • Matlab toolbox. ORPIT applies the theory of vector lattices to solve (a) the problem ... point is that we use the theory of lattice-subspaces and the theory of positive...
  • latfield2

  • Referenced in 3 articles [sw30672]
  • Latfield2: A c++ library for classical lattice field theory. latfield2 is a C++ library designed ... equations, developed for application to classical field theories in particle physics and cosmology ... where the last two dimension of the lattice are scattered into a two dimensional process...
  • STMC_U1MUCA

  • Referenced in 1 article [sw10323]
  • multicanonical simulations of U(1) lattice gauge theory. We document our Fortran 77 code ... multicanonical simulations of 4D U(1) lattice gauge theory in the neighborhood of its phase ... expected to be useful for other lattice gauge theory models as well as for systems...
  • NFLlib

  • Referenced in 4 articles [sw14675]
  • used in ideal lattice cryptography implementations (namely the generic number theory libraries NTL and flint...
  • DeepLLL

  • Referenced in 3 articles [sw10240]
  • with deep insertions. Lattice reduction algorithms have numerous applications in number theory, algebra, as well...
  • PotLLL

  • Referenced in 3 articles [sw10241]
  • with deep insertions. Lattice reduction algorithms have numerous applications in number theory, algebra, as well...
  • XFLR5

  • Referenced in 2 articles [sw19903]
  • based on the Lifiting Line Theory, on the Vortex Lattice Method...
  • iQIST

  • Referenced in 2 articles [sw16777]
  • role in dynamical mean-field theory calculations of correlated lattice models and realistic materials. Therefore...
  • STEWord

  • Referenced in 2 articles [sw20235]
  • Symbolic trajectory evaluation for word-level verification: theory and implementation. Symbolic trajectory evaluation ... circuit to take values from a lattice comprised of three elements ... show how much more abstract lattices can be derived automatically from register-transfer level descriptions ... general theory of STE instantiated with such abstract lattices can be implemented in practice...
  • lattests

  • Referenced in 1 article [sw26210]
  • Nonparametric Tests for Experiments with Lattice-Ordered Means: Theory, Programs, and Applications. In many factorial ... order that may be anticipated is called lattice order, where average response tends to increase...
  • RATH-Agda

  • Referenced in 3 articles [sw13303]
  • literate theories ranging from semigroupoids, which are “categories without identities”, to “action lattice categories”, which ... Kleene algebras), including also monoidal categories. These theories are intended as interfaces for high-level...
  • ALPS

  • Referenced in 19 articles [sw08907]
  • implementations of the important algorithms for quantum lattice models: classical and quantum Monte Carlo ... Monte Carlo solvers for dynamical mean field theory (DMFT). The ALPS libraries provide a powerful...
  • Verified LLL

  • Referenced in 2 articles [sw28661]
  • dimension of the lattice, but not the lattice itself. The algorithm also possesses many applications ... computer science, from cryptanalysis to number theory, but it is specially well-known since ... algorithm to compute short vectors in lattices. The formalization follows a textbook...