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


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


comments powered by Disqus