W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3651| Tytuł: | Basic Properties of Primitive Root and Order Function |
| Autorzy: | Ma, Na Liang, Xiquan |
| Data wydania: | 2012 |
| Data dodania: | 6-gru-2015 |
| Wydawca: | De Gruyter Open |
| Źródło: | Formalized Mathematics, Volume 20, Issue 4, 2012, Pages 265-269 |
| Abstrakt: | In this paper we defined the reduced residue system and proved its fundamental properties. Then we proved the basic properties of the order function. Finally, we defined the primitive root and proved its fundamental properties. Our work is based on [12], [8], and [11]. |
| Afiliacja: | Ma Na - Qingdao University of Science and Technology, China Liang Xiquan - Qingdao University of Science and Technology, China |
| Opis: | Authors thank Andrzej Trybulec and Yatsuka Nakamura for the help during writing this article |
| URI: | http://hdl.handle.net/11320/3651 |
| DOI: | 10.2478/v10037-012-0031-z |
| ISSN: | 1426-2630 1898-9934 |
| Typ Dokumentu: | Article |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2012, Volume 20, Issue 4 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| v10037-012-0031-z.pdf | 264,88 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
