2 research outputs found
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
In the paper we show how to express the Fibonacci numbers and Lucas numbers using the floor and ceiling operations.Institute of Mathematics, University of BiaĆystok, Akademicka 2, 15-267 BiaĆystok, PolandGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Piotr Rudnicki. Two programs for SCM. Part I - preliminaries. Formalized Mathematics, 4(1):69-72, 1993.CzesĆaw ByliĆski. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.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.Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.Konrad Raczkowski and Andrzej NÄdzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.Robert M. Solovay. Fibonacci numbers. Formalized Mathematics, 10(2):81-83, 2002.Andrzej Trybulec and CzesĆaw ByliĆski. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.MichaĆ J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Piotr Wojtecki and Adam Grabowski. Lucas numbers and generalized Fibonacci numbers. Formalized Mathematics, 12(3):329-333, 2004