2007 · 16 citations · 4 references
ComputingComputer ScienceMathematicsCryptographyNumber TheoryTheory Of ComputationClassical CryptographyPublic-key CryptographyPrimality TestingPrime Number Theorem
In this article, we have proved the correctness of the PublicKey Cryptography and the Pepin’s Test for the Primality of Fermat Numbers (F (n) = 2 n + 1). It is a very important result in the IDEA Cryptography that F(4) is a prime number. At first, we prepared some useful theorems. Then, we proved the correctness of the Public-Key Cryptography. Next, we defined the Order’s function and proved some properties. This function is very important in the proof of the Pepin’s Test. Next, we proved some theorems about the Fermat Number. And finally, we proved the Pepin’s Test using some properties of the Order’s Function. And using the obtained result we have proved that F(1), F(2), F(3) and F(4) are prime number.
4
Tarski Grothendieck Set Theory
Andrzej Trybulec · 1990 · 482 citations
The Fundamental Properties of Natural Numbers
Grzegorz Bancerek · 1990 · 389 citations
Basic Properties of Real Numbers
Krzysztof Hryniewiecki · 2004 · 168 citations