Have a personal or library account? Click to login
Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences Cover

Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences

Formalized Mathematics
Volume 16 (2008): Issue 3 (September 2008)
By: Yatsuka Nakamura and  Hisashi Ito  
Open Access
|Mar 2009

References

  1. [1] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek. Increasing and continuous ordinal sequences. Formalized Mathematics, 1(4):711-714, 1990.
    Search in Google Scholar
  4. [4] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    Search in Google Scholar
  6. [6] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.
    Search in Google Scholar
  7. [7] Paul R. Halmos. Lectures on Ergodic Theory. The Mathematical Society of Japan, 1956. No.3.
    Search in Google Scholar
  8. [8] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
    Search in Google Scholar
  9. [9] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990.
    Search in Google Scholar
  10. [10] Karol Pαk. Cardinal numbers and finite sets. Formalized Mathematics, 13(3):399-406, 2005.
    Search in Google Scholar
  11. [11] Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.
    Search in Google Scholar
  12. [12] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  13. [13] Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences. Formalized Mathematics, 9(4):825-829, 2001.
    Search in Google Scholar
  14. [14] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-008-0034-y | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 283 - 288
Published on: Mar 20, 2009
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2009 Yatsuka Nakamura, Hisashi Ito, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 16 (2008): Issue 3 (September 2008)