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

  • Referenced in 26 articles [sw13489]
  • fplll contains several algorithms on lattices that rely on floating-point computations. This includes implementations ... floating-point LLL reduction algorithm, offering different speed/guarantees ratios. It contains a ’wrapper’ choosing ... shortest non-zero lattice vector, and the BKZ reduction algorithm...
  • DeepLLL

  • Referenced in 3 articles [sw10240]
  • version of LLL with deep insertions. Lattice reduction algorithms have numerous applications in number theory ... cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time...
  • PotLLL

  • Referenced in 3 articles [sw10241]
  • version of LLL with deep insertions. Lattice reduction algorithms have numerous applications in number theory ... cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time...
  • fpylll

  • Referenced in 3 articles [sw31794]
  • FPyLLL, a lattice reduction library. A Python interface for https://github.com/fplll/fplll...
  • JEROBOAM

  • Referenced in 1 article [sw24165]
  • easily cracked by a lattice reduction algorithm. Hence, we are lead to interpose a nonlinear...
  • RNMULT128

  • Referenced in 2 articles [sw17881]
  • literature (bitmap, crosstalk, lattice, lacunary and others) lead to a reduction of 2155 “good” primes...
  • Verified LLL

  • Referenced in 2 articles [sw28661]
  • algorithm. The Lenstra-Lenstra-Lovász basis reduction algorithm, also known as LLL algorithm ... short, nearly orthogonal vectors of an integer lattice. Thereby, it can also be seen...
  • BINoculars

  • Referenced in 0 articles [sw37612]
  • diffraction. BINoculars is a tool for data reduction and analysis of large sets of surface ... onto a three-dimensional grid in reciprocal-lattice coordinates using a binning algorithm. This allows ... data sets and results in a significant reduction of the size of the data...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 672 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • cdd

  • Referenced in 112 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Cuba

  • Referenced in 61 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • Expokit

  • Referenced in 184 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • FGb

  • Referenced in 244 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3003 articles [sw00320]
  • GAP is a system for computational discrete algebra...