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

Normaliz
 Referenced in 151 articles
[sw00630]
 computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Its input data ... necessarily pointed) rational cone, the lattice points of a rational polytope or unbounded polyhedron ... NmzIntegrate, a description of the cone and lattice under consideration by a system of inequalities...

ggplot2
 Referenced in 238 articles
[sw04557]
 combines the advantages of both base and lattice graphics: conditioning and shared axes are handled...

lattice
 Referenced in 105 articles
[sw04363]
 package lattice: Lattice Graphics , Lattice is a powerful and elegant highlevel data visualization system ... enough to handle most nonstandard requirements. See ?Lattice for an introduction...

LattE
 Referenced in 116 articles
[sw04654]
 LattE (Lattice point Enumeration) is a computer software dedicated to the problems of counting lattice...

GraphBase
 Referenced in 122 articles
[sw01555]
 based on regular mathematical constructions such as lattices and quaternions. Graphs can be modified...

BKZ
 Referenced in 60 articles
[sw10242]
 Better lattice security estimates. The best lattice reduction algorithm known in practice for high dimension ... Euchner’s BKZ: all security estimates of lattice cryptosystems are based ... implementation of BKZ. However, recent progress on lattice enumeration suggests that ... quality and the running time, thereby revising lattice security estimates. For instance, our simulation suggests...

PALP
 Referenced in 67 articles
[sw00672]
 PALP of C programs for calculations with lattice polytopes and applications to toric geometry, which ... well as completion of the set of lattice points in the convex hull...

MeatAxe
 Referenced in 66 articles
[sw04906]
 programs (see The Lattice Programs) to compute automatically the submodule lattice of a given module...

SPADE
 Referenced in 87 articles
[sw02226]
 independently solved in mainmemory using efficient lattice search techniques, and using simple join operations...

knitr
 Referenced in 54 articles
[sw11224]
 explicitly print() plots from ggplot2 or lattice). R code can be reformatted by the formatR...

NTRUSign
 Referenced in 38 articles
[sw11764]
 NTRUSign: Digital signatures using the NTRU lattice. We introduce NTRUSign, a new family of signature ... vector problem (APPRCVP) in NTRUtype lattices. We explore the properties of general APPR...

Pseudo Hoops
 Referenced in 36 articles
[sw29253]
 concepts of filter and normal filter. The lattice of normal filters is isomorphic with ... lattice of congruences of a pseudohoop. We also study some important classes of pseudo...

SWIFFT
 Referenced in 45 articles
[sw11588]
 hard as finding short vectors in cyclic/ideal lattices in the worst case...

ALPS
 Referenced in 24 articles
[sw08907]
 simulation of strongly correlated quantum lattice models such as quantum magnets, lattice bosons, and strongly ... implementations of the important algorithms for quantum lattice models: classical and quantum Monte Carlo...

LUDWIG
 Referenced in 23 articles
[sw02229]
 LUDWIG: A parallel latticeBoltzmann code for complex fluids. This paper describes LUDWIG, a versatile ... code for the simulation of latticeBoltzmann models in three dimensions on cubic lattices...

Chroma
 Referenced in 23 articles
[sw07551]
 chroma software system for lattice QCD. The Chroma package supports dataparallel programming constructs ... lattice field theory and in particular lattice QCD. It uses the SciDAC QDP++ dataparallel...

OpenLB
 Referenced in 21 articles
[sw08549]
 OpenLB is a numerical framework for lattice Boltzmann simulations, created by students and researchers with ... conceptually simple, implementing basic concepts of the lattice Boltzmann theory stepbystep. Thanks ... this is that the behavior of lattice sites can be modi ed during program execution ... single generic code for various 3D lattice structures, such as D3Q15, D3Q19, and D3Q27...

fpLLL
 Referenced in 24 articles
[sw13489]
 fplll contains several algorithms on lattices that rely on floatingpoint computations. This includes implementations ... algorithm that finds a shortest nonzero lattice vector, and the BKZ reduction algorithm...

Convex
 Referenced in 32 articles
[sw07770]
 functions to do calculations in the face lattice of a cone or polyhedron...