W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3680| Tytuł: | Gaussian Integers |
| Autorzy: | Futa, Yuichi Okazaki, Hiroyuki Mizushima, Daichi Shidama, Yasunari |
| Słowa kluczowe: | formalization of Gaussian integers algebraic integers |
| Data wydania: | 2013 |
| Data dodania: | 9-gru-2015 |
| Wydawca: | De Gruyter Open |
| Źródło: | Formalized Mathematics, Volume 21, Issue 2, 2013, Pages 115-125 |
| Abstrakt: | Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rational number field and a quotient field of the Gaussian integer ring are isomorphic. |
| Afiliacja: | Futa Yuichi - Japan Advanced Institute of Science and Technology Ishikawa, Japan Okazaki Hiroyuki - Shinshu University Nagano, Japan Mizushima Daichi - Shinshu University Nagano, Japan Shidama Yasunari - Shinshu University Nagano, Japan |
| Sponsorzy: | This work was supported by JSPS KAKENHI 21240001 and 22300285. |
| Opis: | This research was presented during the 2012 International Symposium on Information Theory and its Applications (ISITA2012) in Honolulu, USA. |
| URI: | http://hdl.handle.net/11320/3680 |
| DOI: | 10.2478/forma-2013-0013 |
| ISSN: | 1426-2630 1898-9934 |
| Typ Dokumentu: | Article |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2013, Volume 21, Issue 2 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| forma-2013-0013.pdf | 227,89 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
