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

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

Normaliz
 Referenced in 154 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...

lattice
 Referenced in 107 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 123 articles
[sw01555]
 based on regular mathematical constructions such as lattices and quaternions. Graphs can be modified...

BKZ
 Referenced in 62 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 70 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 89 articles
[sw02226]
 independently solved in mainmemory using efficient lattice search techniques, and using simple join operations...

NTRUSign
 Referenced in 41 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...

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

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 46 articles
[sw11588]
 hard as finding short vectors in cyclic/ideal lattices in the worst case...

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

Palabos
 Referenced in 26 articles
[sw06451]
 with a kernel based on the lattice Boltzmann (LB) method. It is used both ... knowledgeable of the lattice Boltzmann method, to extend the library with your own models. Palabos ... stands for Parallel Lattice Boltzmann Solver...

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

fpLLL
 Referenced in 26 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 33 articles
[sw07770]
 functions to do calculations in the face lattice of a cone or polyhedron...