Accesso libero

Formalization of Integral Linear Space

,  e   
18 lug 2011
INFORMAZIONI SU QUESTO ARTICOLO

Cita
Scarica la copertina

In this article, we formalize integral linear spaces, that is a linear space with integer coefficients. Integral linear spaces are necessary for lattice problems, LLL (Lenstra-Lenstra-Lovász) base reduction algorithm that outputs short lattice base and cryptographic systems with lattice [8].

Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Matematica, Matematica generale, Informatica, Informatica, altro