Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2017 | 25 | 1 | 73-86

Tytuł artykułu

Embedded Lattice and Properties of Gram Matrix

Treść / Zawartość

Języki publikacji

EN

Abstrakty

EN
In this article, we formalize in Mizar [14] the definition of embedding of lattice and its properties. We formally define an inner product on an embedded module. We also formalize properties of Gram matrix. We formally prove that an inverse of Gram matrix for a rational lattice exists. Lattice of Z-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm [16] and cryptographic systems with lattice [17].

Słowa kluczowe

Wydawca

Rocznik

Tom

25

Numer

1

Strony

73-86

Daty

wydano
2017-03-28
otrzymano
2017-03-17
online
2017-05-11

Twórcy

autor
  • , ,
  • , ,

Identyfikatory

Identyfikator YADDA

bwmeta1.element.doi-10_1515_forma-2017-0007