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

Normaliz
 Referenced in 143 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 191 articles
[sw04557]
 combines the advantages of both base and lattice graphics: conditioning and shared axes are handled...

lattice
 Referenced in 97 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 110 articles
[sw04654]
 LattE (Lattice point Enumeration) is a computer software dedicated to the problems of counting lattice...

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

BKZ
 Referenced in 52 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 62 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 62 articles
[sw04906]
 programs (see The Lattice Programs) to compute automatically the submodule lattice of a given module...

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

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

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

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

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

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

SRILM
 Referenced in 31 articles
[sw09928]
 manipulation of Nbest lists and word lattices. This paper summarizes the functionality...

fpLLL
 Referenced in 21 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...

Antichains
 Referenced in 27 articles
[sw20208]
 point of a monotone function on the lattice of antichains of state sets. We evaluate...