• fpLLL

  • Referenced in 31 articles [sw13489]
  • This includes implementations of the floating-point LLL reduction algorithm, offering different speed/guarantees ratios...
  • EDIM

  • Referenced in 9 articles [sw08560]
  • described by Havas, Majewski, Matthews, Sterling (using LLL- or modular techniques...
  • DeepLLL

  • Referenced in 3 articles [sw10240]
  • PotLLL: a polynomial time version of LLL with deep insertions. Lattice reduction algorithms have numerous ... famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes ... output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL ... output of this version of LLL has higher quality in practice but the running time...
  • PotLLL

  • Referenced in 3 articles [sw10241]
  • PotLLL: a polynomial time version of LLL with deep insertions. Lattice reduction algorithms have numerous ... famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes ... output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL ... output of this version of LLL has higher quality in practice but the running time...
  • Verified LLL

  • Referenced in 2 articles [sw28661]
  • verified LLL algorithm. The Lenstra-Lenstra-Lovász basis reduction algorithm, also known as LLL algorithm ... first mechanized soundness proof of the LLL algorithm to compute short vectors in lattices...
  • LLL Factorization

  • Referenced in 2 articles [sw28660]
  • thereby one main application of the LLL basis reduction algorithm: an algorithm to factor square...
  • Sheafhom 2.0

  • Referenced in 1 article [sw00854]
  • sparse matrices, and dense algorithms for LLL and Hermite normal form. Graphs and windows...
  • CoCoA

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

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

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

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

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • NTL

  • Referenced in 220 articles [sw00638]
  • NTL is a high-performance, portable C++ library...