More on Divisibility Criteria for Selected Primes

Adam Naumowicz; Radosław Piliszek

doi:10.2478/forma-2013-0010

.blurhash-client-img { display: none !important; }

More on Divisibility Criteria for Selected Primes

Formalized Mathematics

Volume 21 (2013): Issue 2 (June 2013)

By: Adam Naumowicz and Radosław Piliszek

Open Access

|Jun 2013

Abstract

This paper is a continuation of [19], where the divisibility criteria for initial prime numbers based on their representation in the decimal system were formalized. In the current paper we consider all primes up to 101 to demonstrate the method presented in [7].

References

[1] Grzegorz Bancerek. Cardinal numbers., 1():377-382, 1990.
Search in Google Scholar
[2] Grzegorz Bancerek. The fundamental properties of natural numbers., 1():41-46, 1990.
Search in Google Scholar
[3] Grzegorz Bancerek. The ordinal numbers., 1():91-96, 1990.
Search in Google Scholar
[4] Grzegorz Bancerek. Sequences of ordinal numbers., 1():281-290, 1990.
Search in Google Scholar
[5] Grzegorz Bancerek. Increasing and continuous ordinal sequences., 1():711-714, 1990.
Search in Google Scholar
[6] Grzegorz Bancerek. Veblen hierarchy., 19():83-92, 2011. doi:10.2478/v10037-011-0014-5.
Open DOI Search in Google Scholar
[7] C.C. Briggs. Simple divisibility rules for the 1st 1000 prime numbers., 2000.
Search in Google Scholar
[8] Czesław Bylinski. Functions and their basic properties., 1(): 55-65, 1990.
Search in Google Scholar
[9] Czesław Bylinski. Functions from a set to a set., 1():153-164, 1990.
Search in Google Scholar
[10] Czesław Bylinski. Partial functions., 1():357-367, 1990.
Search in Google Scholar
[11] Czesław Bylinski. Some basic properties of sets., 1():47-53, 1990.
Search in Google Scholar
[12] Agata Darmochwał. Finite sets., 1():165-167, 1990.
Search in Google Scholar
[13] Krzysztof Hryniewiecki. Recursive definitions., 1():321-328, 1990.
Search in Google Scholar
[14] Magdalena Jastrz¸ebska and Adam Grabowski. Some properties of Fibonacci numbers., 12():307-313, 2004.
Search in Google Scholar
[15] Artur Korniłowicz. On the real valued functions., 13():181-187, 2005.
Search in Google Scholar
[16] Rafał Kwiatek. Factorial and Newton coefficients., 1():887-890, 1990.
Search in Google Scholar
[17] Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relatively primes., 1():829-832, 1990.
Search in Google Scholar
[18] Yatsuka Nakamura and Hisashi Ito. Basic properties and concept of selected subsequence of zero based finite sequences., 16():283-288, 2008. doi:10.2478/v10037-008-0034-y.
Open DOI Search in Google Scholar
[19] Adam Naumowicz. On the representation of natural numbers in positional numeral systems., 14():221-223, 2006. doi:10.2478/v10037-006-0025-9.
Open DOI Search in Google Scholar
[20] Karol Pak. Stirling numbers of the second kind., 13():337-345, 2005.
Search in Google Scholar
[21] Piotr Rudnicki and Andrzej Trybulec. Abian’s fixed point theorem., 6():335-338, 1997.
Search in Google Scholar
[22] Andrzej Trybulec. On the sets inhabited by numbers., 11(): 341-347, 2003.
Search in Google Scholar
[23] Michał J. Trybulec. Integers., 1():501-505, 1990.
Search in Google Scholar
[24] Zinaida Trybulec. Properties of subsets., 1():67-71, 1990.
Search in Google Scholar
[25] Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences., 9():825-829, 2001.
Search in Google Scholar
[26] Edmund Woronowicz. Relations and their basic properties., 1 ():73-83, 1990.
Search in Google Scholar
[27] Edmund Woronowicz. Relations defined on sets., 1():181-186, 1990.
Search in Google Scholar