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

Chroma
 Referenced in 24 articles
[sw07551]
 supports dataparallel programming constructs for lattice field theory and in particular lattice...

OpenLB
 Referenced in 30 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...

CHEBINT
 Referenced in 15 articles
[sw06927]
 that are based on the theory of Chebyshev lattices as introduced in [1]. The approximations...

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

SUSY LATTICE
 Referenced in 5 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 3 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 4 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...

GFiRe
 Referenced in 5 articles
[sw41989]
 derivatives are discretized using standard Lattice Gauge Field Theory techniques, whereas the time evolution...

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