PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2010 | 18 | 1 | 77-80
Tytuł artykułu

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

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In the paper we show how to express the Fibonacci numbers and Lucas numbers using the floor and ceiling operations.
Słowa kluczowe
Wydawca
Rocznik
Tom
18
Numer
1
Strony
77-80
Opis fizyczny
Daty
wydano
2010-01-01
online
2011-01-05
Twórcy
  • Institute of Mathematics, University of Białystok, Akademicka 2, 15-267 Białystok, Poland
Bibliografia
  • [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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_2478_v10037-010-0010-1
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.