All Title Author
Keywords Abstract


Formalization of Integral Linear Space

DOI: 10.2478/v10037-011-0010-9

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

comments powered by Disqus