Have a personal or library account? Click to login

Niven’s Theorem

Formalized Mathematics
Volume 24 (2016): Issue 4 (December 2016)
By:
Open Access
|Feb 2017

References

  1. [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.
    Search in Google ScholarBack to article
  2. [2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.
    Search in Google ScholarBack to article
  3. [3] Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485–492, 1996.
    Search in Google ScholarBack to article
  4. [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 ScholarBack to article
  5. [5] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.
    Search in Google ScholarBack to article
  6. [6] Yuzhong Ding and Xiquan Liang. Formulas and identities of trigonometric functions. Formalized Mathematics, 12(3):243–246, 2004.
    Search in Google ScholarBack to article
  7. [7] Magdalena Jastrzębska and Adam Grabowski. Some properties of Fibonacci numbers. Formalized Mathematics, 12(3):307–313, 2004.
    Search in Google ScholarBack to article
  8. [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/S0025557200180295
    Search in Google ScholarBack to article
  9. [9] Serge Lang. Algebra. Addison-Wesley, 1980.
    Search in Google ScholarBack to article
  10. [10] Robert Milewski. The evaluation of polynomials. Formalized Mathematics, 9(2):391–395, 2001.
    Search in Google ScholarBack to article
  11. [11] Robert Milewski. Fundamental theorem of algebra. Formalized Mathematics, 9(3):461–470, 2001.
    Search in Google ScholarBack to article
  12. [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 ScholarBack to article
  13. [13] Piotr Rudnicki. Little Bezout theorem (factor theorem). Formalized Mathematics, 12(1): 49–58, 2004.
    Search in Google ScholarBack to article
  14. [14] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329–334, 1990.
    Search in Google ScholarBack to article
  15. [15] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.
    Search in Google ScholarBack to article
  16. [16] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291–296, 1990.
    Search in Google ScholarBack to article
DOI: https://doi.org/10.1515/forma-2016-0026 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 301 - 308
Submitted on: Dec 15, 2016
Published on: Feb 23, 2017
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 times per year
Keywords:
Niven’s theorem,
rational root theorem,
integral root theorem
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2017 Artur Korniłowicz, Adam Naumowicz, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Previous articleVolume 24 (2016): Issue 4 (December 2016)