Skip to main content
Have a personal or library account? Click to login
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling Cover

Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling

Formalized Mathematics
Volume 18 (2010): Issue 1 (March 2010)
By:   
Open Access
|Jan 2011
References

References

  1. [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek and Piotr Rudnicki. Two programs for SCM. Part I - preliminaries. Formalized Mathematics, 4(1):69-72, 1993.
    Search in Google Scholar
  3. [3] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.
    Search in Google Scholar
  4. [4] Yoshinori Fujisawa, Yasushi Fuwa, and Hidetaka Shimizu. Public-key cryptography and Pepin's test for the primality of Fermat numbers. Formalized Mathematics, 7(2):317-321, 1998.
    Search in Google Scholar
  5. [5] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
    Search in Google Scholar
  6. [6] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.
    Search in Google Scholar
  7. [7] Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.
    Search in Google Scholar
  8. [8] Robert M. Solovay. Fibonacci numbers. Formalized Mathematics, 10(2):81-83, 2002.
    Search in Google Scholar
  9. [9] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.
    Search in Google Scholar
  10. [10] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.
    Search in Google Scholar
  11. [11] Piotr Wojtecki and Adam Grabowski. Lucas numbers and generalized Fibonacci numbers. Formalized Mathematics, 12(3):329-333, 2004.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-010-0010-1 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 77 - 80
Published on: Jan 5, 2011
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

© 2011 Magdalena Jastrzębska, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 18 (2010): Issue 1 (March 2010)