cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A133803 Floor log A055213(n).

This page as a plain text file.
%I A133803 #2 Mar 30 2012 17:25:25
%S A133803 4,8,12,15,18,21,24,26,29,31,33,35,38,39,41
%N A133803 Floor log A055213(n).
%D A133803 Jonathan Schaeffer, N. Burch, Yngvi Bjornsson, Akihiro Kishimoto, Martin Muller, Rob Lake, Paul Lu and Steve Sutphen. "Checkers Is Solved", Science, Vol. 317, September 14, 2007, pp. 1518-1522.
%F A133803 Floor log A055213(n), the number of positions in the game of checkers.
%e A133803 a(2) = 8 = floor log A055213(2), where A055213(2) = 6972.
%Y A133803 Cf. A055213.
%K A133803 nonn
%O A133803 1,1
%A A133803 _Gary W. Adamson_, Sep 23 2007