
LLL Factorization
 Referenced in 2 articles
[sw28660]
 element in a lattice, which can be done by a basis reduction algorithm. In this...

DeepLLL
 Referenced in 3 articles
[sw10240]
 lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with...

PotLLL
 Referenced in 3 articles
[sw10241]
 lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with...

Verified LLL
 Referenced in 2 articles
[sw28661]
 reduction algorithm, also known as LLL algorithm, is an algorithm to find a basis with ... short, nearly orthogonal vectors of an integer lattice. Thereby, it can also be seen...

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

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

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 644 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

hypre
 Referenced in 287 articles
[sw00426]
 hypre is a software library for the solution...

Isabelle
 Referenced in 639 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

LAPACK
 Referenced in 1654 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LiDIA
 Referenced in 52 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...

LinBox
 Referenced in 40 articles
[sw00522]
 LinBox: A Generic Library for Exact Linear Algebra...

Macaulay2
 Referenced in 1776 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...