• 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 high-level 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 main-memory 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 (APPR-CVP) in NTRU-type 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 pseudo-hoop. 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 lattice-Boltzmann code for complex fluids. This paper describes LUDWIG, a versatile ... code for the simulation of lattice-Boltzmann models in three dimensions on cubic lattices...
  • Chroma

  • Referenced in 23 articles [sw07551]
  • chroma software system for lattice QCD. The Chroma package supports data-parallel programming constructs ... lattice field theory and in particular lattice QCD. It uses the SciDAC QDP++ data-parallel...
  • 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 N-best lists and word lattices. This paper summarizes the functionality...
  • fpLLL

  • Referenced in 21 articles [sw13489]
  • fplll contains several algorithms on lattices that rely on floating-point computations. This includes implementations ... algorithm that finds a shortest non-zero 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...