Skip to main content
Have a personal or library account? Click to login
On the Representation of Natural Numbers in Positional Numeral Systems1 Cover

On the Representation of Natural Numbers in Positional Numeral Systems1

Formalized Mathematics
Volume 14 (2006): Issue 4 (December 2006)
By:   
Open Access
|Jun 2008
References

References

  1. [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  2. [2] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    Search in Google Scholar
  3. [3] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  4. [4] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990.
    Search in Google Scholar
  5. [5] Rafał Kwiatek. Factorial and Newton coeffcients. Formalized Mathematics, 1(5):887-890, 1990.
    Search in Google Scholar
  6. [6] Library Committee of the Association of Mizar Users. Binary operations on numbers. To appear in Formalized Mathematics.
    Search in Google Scholar
  7. [7] Karol Pak. Stirling numbers of the second kind. Formalized Mathematics, 13(2):337-345, 2005.
    Search in Google Scholar
  8. [8] Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125-130, 1991.
    Search in Google Scholar
  9. [9] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.
    Search in Google Scholar
  10. [10] Konrad Raczkowski and Andrzej Nędzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.
    Search in Google Scholar
  11. [11] Wacław Sierpiński. Elementary Theory of Numbers. PWN, Warsaw, 1964.
    Search in Google Scholar
  12. [12] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.
    Search in Google Scholar
  13. [13] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
    Search in Google Scholar
  14. [14] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.
    Search in Google Scholar
  15. [15] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  16. [16] Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences. Formalized Mathematics, 9(4):825-829, 2001.
    Search in Google Scholar
  17. [17] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-006-0025-9 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 221 - 223
Published on: Jun 13, 2008
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
Logic and set theory,
Computer sciences,
Artificial intelligence

© 2008 Adam Naumowicz, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 14 (2006): Issue 4 (December 2006)