REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21443
Pełny rekord metadanych
Pole DCWartośćJęzyk
dc.contributor.authorNiimura, Masaaki-
dc.contributor.authorYasushi, Fuwa-
dc.date.accessioned2026-11-05T12:20:35Z-
dc.date.available2026-11-05T12:20:35Z-
dc.date.issued2004-
dc.identifier.citationFormalized Mathematics, Volume 12, Issue 1, Pages 9-13pl
dc.identifier.issn1426-2630-
dc.identifier.urihttp://hdl.handle.net/11320/21443-
dc.description.abstractIn RSA Cryptograms, many modulo calculations are used, but modulo calculation is based on many subtractions and it takes long a time to calculate it. In this article, we explain a new modulo calculation algorithm using a table. And we prove that upper 3 digits of Radix-2ᵏ SD numbers are enough to specify the answer. In the first section, we present some useful theorems for operations of Radix-2ᵏ SD Number. In the second section, we define Upper 3 Digits of Radix-2ᵏ SD number and prove that property. In the third section, we prove some property connected with the minimum digits of Radix-2ᵏ SD number. In the fourth section, we identify the range of modulo arithmetic result and prove that the Upper 3 Digits indicate two possible answers. And in the last section, we define a function to select true answer from the results of Upper 3 Digits.pl
dc.language.isoenpl
dc.publisherUniversity of Białystokpl
dc.rightsCC BY-SA 4.0-
dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
dc.titleHigh Speed Modulo Calculation Algorithm with Radix-2ᵏ SD Numberpl
dc.typeArticlepl
dc.rights.holder© 2005 University of Białystokpl
dc.rights.holderThis work is licensed under the Creative Commons License.pl
dc.description.AffiliationMasaaki Niimura - Shinshu University, Naganopl
dc.description.AffiliationYasushi Fuwa - Shinshu University, Naganopl
dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.pl
dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.pl
dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55–65, 1990.pl
dc.description.referencesYoshinori Fujisawa and Yasushi Fuwa. Definitions of radix-2ᵏ signed-digit number and its adder algorithm. Formalized Mathematics, 9(1):71–75, 2001.pl
dc.description.referencesAndrzej Kondracki. The Chinese Remainder Theorem. Formalized Mathematics, 6(4):573–577, 1997.pl
dc.description.referencesMasaaki Niimura and Yasushi Fuwa. Magnitude relation properties of radix-2ᵏ SD number. Formalized Mathematics, 12(1):5–8, 2004.pl
dc.description.referencesTakaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Formalized Mathematics, 4(1):83–86, 1993.pl
dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.pl
dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.pl
dc.description.volume12pl
dc.description.issue1pl
dc.description.firstpage9pl
dc.description.lastpage13pl
dc.identifier.citation2Formalized Mathematicspl
Występuje w kolekcji(ach):Formalized Mathematics, 2004, Volume 12, Issue 1

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
High_Speed_Modulo_Calculation_Algorithm.pdf84,03 kBAdobe PDFOtwórz
Pokaż uproszczony widok rekordu Zobacz statystyki


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