Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5490
Tytuł: | Lattice of ℤ-module |
Autorzy: | Futa, Yuichi Shidama, Yasunari |
Słowa kluczowe: | ℤ-lattice Gram matrix integral ℤ-lattice positive definite ℤ-lattice |
Data wydania: | 2016 |
Data dodania: | 16-maj-2017 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 24, Issue 1, pp. 49-68 |
Abstrakt: | In this article, we formalize the definition of lattice of ℤ-module and its properties in the Mizar system [5].We formally prove that scalar products in lattices are bilinear forms over the field of real numbers ℝ. We also formalize the definitions of positive definite and integral lattices and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [14], and cryptographic systems with lattices [15] and coding theory [9]. |
Afiliacja: | Futa Yuichi - Japan Advanced Institute of Science and Technology Ishikawa, Japan Shidama Yasunari - Shinshu University Nagano, Japan |
URI: | http://hdl.handle.net/11320/5490 |
DOI: | 10.1515/forma-2016-0005 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2016, Volume 24, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2016-0005.pdf | 302,42 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL