
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 715 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1913 articles
[sw00161]
 Coq is a formal proof management system. It...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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

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

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

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

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

Isabelle
 Referenced in 721 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...

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

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