Displaying similar documents to “Some fourth degree Diophantine equations in Gaussian integers.”

On perfect totient numbers.

Iannucci, Douglas E., Deng, Moujie, Cohen, Graeme L. (2003)

Journal of Integer Sequences [electronic only]


Linear Congruence Relation and Complete Residue Systems

Xiquan Liang, Li Yan, Junjie Zhao (2007)

Formalized Mathematics


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.