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

Formalized Mathematics (2010)

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

## Access Full Article

top## Abstract

top## How to cite

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

## NotesEmbed ?

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