|
Formalization of Integral Linear SpaceDOI: 10.2478/v10037-011-0010-9 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].
|