On normal sets of numbers
Alan Zame (1972)
Acta Arithmetica
Similarity:
Alan Zame (1972)
Acta Arithmetica
Similarity:
Jaroslav Seibert, Pavel Trojovský (2001)
Acta Mathematica et Informatica Universitatis Ostraviensis
Similarity:
Ribenboim, P. (1989)
Portugaliae mathematica
Similarity:
Melvin Knight, William Webb (1980)
Acta Arithmetica
Similarity:
J. Parnami, M. Agrawal, A. Rajwade (1982)
Acta Arithmetica
Similarity:
Jerzy Urbanowicz (1988)
Acta Arithmetica
Similarity:
Gao, Weidong, Geroldinger, Alfred (2003)
Integers
Similarity:
Xiquan Liang, Li Yan, Junjie Zhao (2007)
Formalized Mathematics
Similarity:
In this paper, we defined the congruence relation and proved its fundamental properties on the base of some useful theorems. Then we proved the existence of solution and the number of incongruent solution to a linear congruence and the linear congruent equation class, in particular, we proved the Chinese Remainder Theorem. Finally, we defined the complete residue system and proved its fundamental properties.