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 A172251 #2 Mar 30 2012 18:40:50 %S A172251 1,2,3,4,5,6,8,9,10,11,12,13,14,16,17,19,20,23,24,25,26,29,32,33,34, %T A172251 35,38,41,46,47,48,50,53,54,58,62,63,75,86,96,101,102,113,117,129,162, %U A172251 195,204,233 %N A172251 Arises in the representability of integers as sums of triangular numbers. %C A172251 Wieb Bosma, p.10: Following the bounds given in the proof of Theorem 1.6, computational evidence suggests that... a proof of the above identity using the techniques of Bhargava and Hanke developed in the proof of the 290-Theorem may require a careful analysis of a possible Siegel zero. The sequence given is thus conjectured to be complete as shown. %D A172251 M. Bhargava, J. Hanke, Universal Quadratic Forms and the 290-Theorem, preprint. %H A172251 Wieb Bosma, Ben Kane, <a href="http://arxiv.org/abs/0905.3594">The triangular theorem of eight and a certain non-finiteness theorem </a>, v.2, Jan 28, 2010. %Y A172251 Cf. A030051. %K A172251 fini,full,nonn %O A172251 1,2 %A A172251 _Jonathan Vos Post_, Jan 29 2010