1. bookVolumen 18 (2010): Edición 1 (March 2010)
Detalles de la revista
License
Formato
Revista
eISSN
1898-9934
ISSN
1426-2630
Primera edición
09 Jun 2008
Calendario de la edición
4 veces al año
Idiomas
Inglés
Acceso abierto

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

Publicado en línea: 05 Jan 2011
Volumen & Edición: Volumen 18 (2010) - Edición 1 (March 2010)
Páginas: 77 - 80
Detalles de la revista
License
Formato
Revista
eISSN
1898-9934
ISSN
1426-2630
Primera edición
09 Jun 2008
Calendario de la edición
4 veces al año
Idiomas
Inglés

[1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Search in Google Scholar

[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] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.Search in Google Scholar

[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] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.Search in Google Scholar

[6] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.Search in Google Scholar

[7] Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.Search in Google Scholar

[8] Robert M. Solovay. Fibonacci numbers. Formalized Mathematics, 10(2):81-83, 2002.Search in Google Scholar

[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] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Search in Google Scholar

[11] Piotr Wojtecki and Adam Grabowski. Lucas numbers and generalized Fibonacci numbers. Formalized Mathematics, 12(3):329-333, 2004.Search in Google Scholar

Artículos recomendados de Trend MD

Planifique su conferencia remota con Sciendo