login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A172251
Arises in the representability of integers as sums of triangular numbers.
0
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, 35, 38, 41, 46, 47, 48, 50, 53, 54, 58, 62, 63, 75, 86, 96, 101, 102, 113, 117, 129, 162, 195, 204, 233
OFFSET
1,2
COMMENTS
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.
REFERENCES
M. Bhargava, J. Hanke, Universal Quadratic Forms and the 290-Theorem, preprint.
CROSSREFS
Cf. A030051.
Sequence in context: A335513 A367906 A022551 * A286997 A187396 A020659
KEYWORD
fini,full,nonn
AUTHOR
Jonathan Vos Post, Jan 29 2010
STATUS
approved