REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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 RozmiarFormat 
v10037-012-0031-z.pdf264,88 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons