Niven’s Theorem

[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] Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485–492, 1996.Search in Google Scholar

[4] Czesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661–668, 1990.Search in Google Scholar

[5] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.Search in Google Scholar

[6] Yuzhong Ding and Xiquan Liang. Formulas and identities of trigonometric functions. Formalized Mathematics, 12(3):243–246, 2004.Search in Google Scholar

[7] Magdalena Jastrzębska and Adam Grabowski. Some properties of Fibonacci numbers. Formalized Mathematics, 12(3):307–313, 2004.Search in Google Scholar

[8] J.D. King. Integer roots of polynomials. The Mathematical Gazette, 90(519):455–456, 2006. doi:http://dx.doi.org/10.1017/S0025557200180295.10.1017/S0025557200180295Search in Google Scholar

[9] Serge Lang. Algebra. Addison-Wesley, 1980.Search in Google Scholar

[10] Robert Milewski. The evaluation of polynomials. Formalized Mathematics, 9(2):391–395, 2001.Search in Google Scholar

[11] Robert Milewski. Fundamental theorem of algebra. Formalized Mathematics, 9(3):461–470, 2001.Search in Google Scholar

[12] Ivan Niven. Irrational numbers. The Carus Mathematical Monographs, No. 11. The Mathematical Association of America. Distributed by John Wiley and Sons, Inc., New York, N.Y., 1956.Search in Google Scholar

[13] Piotr Rudnicki. Little Bezout theorem (factor theorem). Formalized Mathematics, 12(1): 49–58, 2004.Search in Google Scholar

[14] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329–334, 1990.Search in Google Scholar

[15] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.Search in Google Scholar

[16] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291–296, 1990.Search in Google Scholar