W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21408| Tytuł: | Linear Congruence Relation and Complete Residue Systems |
| Autorzy: | Liang, Xiquan Yan, Li Zhao, Junjie |
| Data wydania: | 2007 |
| Data dodania: | 3-lis-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 15, Issue 4, Pages 181-187 |
| Abstrakt: | 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. |
| Afiliacja: | Xiquan Liang - Qingdao University of Science and Technology, China Li Yan - Qingdao University of Science and Technology, China Junjie Zhao - Qingdao University of Science and Technology, China |
| URI: | http://hdl.handle.net/11320/21408 |
| DOI: | 10.2478/v10037-007-0022-7 |
| ISSN: | 1426-2630 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2008 Xiquan Liang, Li Yan, Junjie Zhao, published by University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2007, Volume 15, Issue 4 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Linear_Congruence_Relation_and_Complete_Residue_Systems.pdf | 145,55 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
