W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21063| Tytuł: | Modular Integer Arithmetic |
| Autorzy: | Schwarzweller, Christoph |
| Data wydania: | 2008 |
| Data dodania: | 18-wrz-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 16, Issue 3, 2008, Pages 247-252 |
| Abstrakt: | In this article we show the correctness of integer arithmetic based on Chinese Remainder theorem as described e.g. in [11]: Integers are transfor med to finite sequences of modular integers, on which the arithmetic operations are performed. Retransformation of the results to the integers is then accomplished by means of the Chinese Remainder theorem. The method presented is a typical example for computing in homomorphic images. |
| Afiliacja: | Institute of Computer Science, University of Gdańsk, Wita Stwosza 57, 80-952 Gdańsk, Poland |
| URI: | http://hdl.handle.net/11320/21063 |
| DOI: | 10.2478/v10037-008-0029-8 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2009 Christoph Schwarzweller, published by University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2008, Volume 16, Issue 3 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Modular_Integer_Arithmetic.pdf | 215,52 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
