<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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].</p></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].

Formalization of Integral Linear Space

Formalized Mathematics

{"article-title":"Formalization of Integral Linear Space"}

In this article, we formalize integral linear spaces, that is a linear space with integer coefficients. Integral linear spaces are necessary for lattice...

Formalization of Integral Linear Space

Online veröffentlicht: 18. Juli 2011

Seitenbereich: 61 - 64

DOI: https://doi.org/10.2478/v10037-011-0010-9

This content is open access.