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.
%I A145379 #7 Feb 25 2025 04:48:26 %S A145379 1,1,1,0,0,1,0,1,1,1,0,0,0,0,1,0,0,1,0,1,1,0,0,0,0,1,0,1,0,0,0,1,0,0, %T A145379 1,1,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,1,0,0, %U A145379 0,0,0,1,0,0,0,0,1,1,0,0,0,0,0,0,0,0,1,0,1,0,1,0,0,0,0,0,0 %N A145379 Square array read by antidiagonals upwards: T(n,k) = 1 if n divides k, T(n,k) = 0 otherwise, n >= 1, k >= 2. %C A145379 This array is used in the proof of the Moebius function as a zero corner determinant of the Redheffer matrix. This table is the transpose of A051731 where the first row has been deleted. %e A145379 Table begins: %e A145379 1,1,1,1,1,1,1,... %e A145379 1,0,1,0,1,0,1,... %e A145379 0,1,0,0,1,0,0,... %e A145379 0,0,1,0,0,0,1,... %e A145379 0,0,0,1,0,0,0,... %e A145379 0,0,0,0,1,0,0,... %e A145379 0,0,0,0,0,1,0,... %e A145379 ... %o A145379 (Excel) =if(mod(column()+1;row())=0;1;0) %Y A145379 Cf. A008683, A051731, A143104. %K A145379 nonn,tabl %O A145379 1,1 %A A145379 _Mats Granvik_, Oct 09 2008