[[1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.]Search in Google Scholar
[[2] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.]Search in Google Scholar
[[3] E. Hatton. An intire system of Arithmetic: or, Arithmetic in all its parts. Number 6. Printed for G. Strahan, 1731. http://books.google.pl/books?id=urZJAAAAMAAJ.]Search in Google Scholar
[[4] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887-890, 1990.]Search in Google Scholar
[[5] Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relatively primes. Formalized Mathematics, 1(5):829-832, 1990.]Search in Google Scholar
[[6] M.I. Mostafa. A new approach to polynomial identities. The Ramanujan Journal, 8(4): 423-457, 2005. ISSN 1382-4090. doi:10.1007/s11139-005-0272-3.10.1007/s11139-005-0272-3]Search in Google Scholar
[[7] Werner Georg Nowak. On differences of two k-th powers of integers. The Ramanujan Journal, 2(4):421-440, 1998. ISSN 1382-4090. doi:10.1023/A:1009791425210.10.1023/A:1009791425210]Search in Google Scholar
[[8] Piotr Rudnicki and Andrzej Trybulec. Abian’s fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.]Search in Google Scholar
[[9] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.]Search in Google Scholar