W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5571| Tytuł: | Embedded Lattice and Properties of Gram Matrix |
| Autorzy: | Futa, Yuichi Shidama, Yasunari |
| Słowa kluczowe: | ℤ-lattice Gram matrix rational ℤ-lattice |
| Data wydania: | 2017 |
| Data dodania: | 5-cze-2017 |
| Wydawca: | De Gruyter Open |
| Źródło: | Formalized Mathematics, Volume 25, Issue 1, pp. 72-86 |
| Abstrakt: | 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 ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [16] and cryptographic systems with lattice [17]. |
| Afiliacja: | Futa Yuichi - Tokyo University of Technology, Tokyo, Japan Shidama Yasunari - Shinshu University, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/5571 |
| DOI: | 10.1515/forma-2017-0007 |
| ISSN: | 1426-2630 1898-9934 |
| Typ Dokumentu: | Article |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2017, Volume 25, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| forma-2017-0007.pdf | 299,24 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
