On Subnomials

Ziobro, Rafał

On Subnomials

Formalized Mathematics

Volume 24 (2016): Issue 4 (December 2016)

By:

Rafał Ziobro

Open Access

|Feb 2017

References

[1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.
Search in Google Scholar Back to article
[2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.
Search in Google Scholar Back to article
[3] Czesław Byliński. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241–245, 1996.
Search in Google Scholar Back to article
[4] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.
Search in Google Scholar Back to article
[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 Back to article
[6] Jacek Gancarzewicz. Arytmetyka. Wydawnictwo UJ, Kraków, 2000. In Polish.
Search in Google Scholar Back to article
[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 Back to article
[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 Back to article
[9] Andrzej Kondracki. The Chinese Remainder Theorem. Formalized Mathematics, 6(4): 573–577, 1997.
Search in Google Scholar Back to article
[10] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887–890, 1990.
Search in Google Scholar Back to article
[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 Back to article
[12] W.W. Sawyer. The Search for Pattern. Penguin Books Ltd, Harmondsworth, Middlessex, England, 1970.
Search in Google Scholar Back to article
[13] Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569–573, 1990.
Search in Google Scholar Back to article

DOI: https://doi.org/10.1515/forma-2016-0022 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630

Journal RSS Feed

Language: English

Page range: 261 - 273

Submitted on: Oct 18, 2016

Published on: Feb 23, 2017

Published by: University of Białystok, Department of Pedagogy and Psychology

In partnership with: Paradigm Publishing Services

Publication frequency: 1 times per year

Keywords:

binomial formula,

geometrical progression,

Related subjects:

Computer sciences, other

© 2017 Rafał Ziobro, published by University of Białystok, Department of Pedagogy and Psychology
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Previous article Volume 24 (2016): Issue 4 (December 2016)Next article