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

Magdalena Jastrzębska

Formalized Mathematics (2010)

  • Volume: 18, Issue: 1, page 77-80
  • ISSN: 1426-2630

Abstract

top
In the paper we show how to express the Fibonacci numbers and Lucas numbers using the floor and ceiling operations.

How to cite

top

Magdalena Jastrzębska. "Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling." Formalized Mathematics 18.1 (2010): 77-80. <http://eudml.org/doc/266975>.

@article{MagdalenaJastrzębska2010,
abstract = {In the paper we show how to express the Fibonacci numbers and Lucas numbers using the floor and ceiling operations.},
author = {Magdalena Jastrzębska},
journal = {Formalized Mathematics},
language = {eng},
number = {1},
pages = {77-80},
title = {Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling},
url = {http://eudml.org/doc/266975},
volume = {18},
year = {2010},
}

TY - JOUR
AU - Magdalena Jastrzębska
TI - Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
JO - Formalized Mathematics
PY - 2010
VL - 18
IS - 1
SP - 77
EP - 80
AB - In the paper we show how to express the Fibonacci numbers and Lucas numbers using the floor and ceiling operations.
LA - eng
UR - http://eudml.org/doc/266975
ER -

References

top
  1. [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990. 
  2. [2] Grzegorz Bancerek and Piotr Rudnicki. Two programs for SCM. Part I - preliminaries. Formalized Mathematics, 4(1):69-72, 1993. 
  3. [3] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990. 
  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. 
  5. [5] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990. 
  6. [6] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991. 
  7. [7] Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997. 
  8. [8] Robert M. Solovay. Fibonacci numbers. Formalized Mathematics, 10(2):81-83, 2002. 
  9. [9] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990. 
  10. [10] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990. 
  11. [11] Piotr Wojtecki and Adam Grabowski. Lucas numbers and generalized Fibonacci numbers. Formalized Mathematics, 12(3):329-333, 2004. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.