PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2017 | 25 | 2 | 157-169
Tytuł artykułu

Dual Lattice of ℤ-module Lattice

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In this article, we formalize in Mizar [5] the definition of dual lattice and their properties. We formally prove that a set of all dual vectors in a rational lattice has the construction of a lattice. We show that a dual basis can be calculated by elements of an inverse of the Gram Matrix. We also formalize a summation of inner products and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL(Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattice [20], [10] and [19].
Wydawca
Rocznik
Tom
25
Numer
2
Strony
157-169
Opis fizyczny
Daty
wydano
2017-07-01
otrzymano
2017-06-27
online
2017-09-23
Twórcy
autor
  • , ,
  • , ,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2017-0015
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.