Explicit evaluations of the Rogers-Ramanujan continued fraction.
Previous Page 4
B.C. Berndt, H.H. Chan, L.-C. Zhang (1996)
Journal für die reine und angewandte Mathematik
Yutaka Sueyoshi (1990)
Acta Arithmetica
Abraham P. Hillman, V.E. Jr. Hoggatt (1973)
Journal für die reine und angewandte Mathematik
William A. Webb (1980)
Časopis pro pěstování matematiky
Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama (2012)
Formalized Mathematics
In this article we formalize some number theoretical algorithms, Euclidean Algorithm and Extended Euclidean Algorithm [9]. Besides the a gcd b, Extended Euclidean Algorithm can calculate a pair of two integers (x, y) that holds ax + by = a gcd b. In addition, we formalize an algorithm that can compute a solution of the Chinese remainder theorem by using Extended Euclidean Algorithm. Our aim is to support the implementation of number theoretic tools. Our formalization of those algorithms is based...
Havas, George, Majewski, Bohdan S., Matthews, Keith R. (1998)
Experimental Mathematics
H. Poincaré (1892)
Journal de Mathématiques Pures et Appliquées
Štefan Schwarz (1983)
Mathematica Slovaca
Cosgrave, John B., Dilcher, Karl (2008)
Integers
Previous Page 4