[[1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.]Search in Google Scholar
[[2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.]Search in Google Scholar
[[3] Czesław Byliński. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241–245, 1996.]Search in Google Scholar
[[4] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.]Search in Google Scholar
[[5] Wenpai Chang, Hiroshi Yamazaki, and Yatsuka Nakamura. The inner product and conjugate of finite sequences of complex numbers. Formalized Mathematics, 13(3):367–373, 2005.]Search in Google Scholar
[[6] Jacek Gancarzewicz. Arytmetyka. Wydawnictwo UJ, Kraków, 2000. In Polish.]Search in Google Scholar
[[7] Cao Hui-Qin and Pan Hao. Factors of alternating binomial sums. Advances in Applied Mathematics, 45(1):96 – 107, 2010. doi:http://dx.doi.org/10.1016/j.aam.2009.09.004.10.1016/j.aam.2009.09.004]Search in Google Scholar
[[8] Sudesh K. Khanduja, Ramneek Khassa, and Shanta Laishram. Some irreducibility results for truncated binomial expansions. Journal of Number Theory, 131(2):300 – 308, 2011. doi:http://dx.doi.org/10.1016/j.jnt.2010.08.004.10.1016/j.jnt.2010.08.004]Search in Google Scholar
[[9] Andrzej Kondracki. The Chinese Remainder Theorem. Formalized Mathematics, 6(4): 573–577, 1997.]Search in Google Scholar
[[10] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887–890, 1990.]Search in Google Scholar
[[11] Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relatively primes. Formalized Mathematics, 1(5):829–832, 1990.]Search in Google Scholar
[[12] W.W. Sawyer. The Search for Pattern. Penguin Books Ltd, Harmondsworth, Middlessex, England, 1970.]Search in Google Scholar
[[13] Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569–573, 1990.]Search in Google Scholar