
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 dataparallel 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 stepbystep. 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 instancebased 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 YangMills theory. We present new parallel software ... supersymmetric YangMills theory with gauge group SU (N). The lattice action is constructed ... lattice QCD, and retains a similar largescale framework despite the different target theory. Many ... basic workflow for nonexperts 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 latticesubspaces 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 meanfield theory calculations of correlated lattice models and realistic materials. Therefore...

STEWord
 Referenced in 2 articles
[sw20235]
 Symbolic trajectory evaluation for wordlevel 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 registertransfer 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 LatticeOrdered Means: Theory, Programs, and Applications. In many factorial ... order that may be anticipated is called lattice order, where average response tends to increase...

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

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 wellknown since ... algorithm to compute short vectors in lattices. The formalization follows a textbook...