• OTTER

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

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

  • Referenced in 152 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 106 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 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 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 main-memory using efficient lattice search techniques, and using simple join operations...
  • NTRUSign

  • Referenced in 39 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...
  • knitr

  • Referenced in 54 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 pseudo-hoop. 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 24 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 step-by-step. 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...
  • 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...
  • fpLLL

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

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